body {
    background-color: black;
    color: white;
    text-align: center;
    vertical-align: middle;
    position: relative;
}

.header {
    margin: 5px;
    font-family: "Times New Roman", Times, serif;
}


/* Customize HTML paragraph element margins */

p {
    display: block;
    margin-top: 1em;
    margin-bottom: 1em;
    margin-left: 15%;
    margin-right: 15%;
}


/*-------------------------Buttons-----------------------------------------------------*/


/* Used for id=button1 */

#actuate_but {
    background-color: #0a3f73;
    border: solid;
    border-color: #d5d6d2;
    color: white;
    padding: 10px 20px;
    text-align: center;
    text-decoration: none;
    font-family: "Constantia", sans-serif;
    border-radius: 10px;
    display: inline-block;
    font-size: 20px;
}


/* Used for id=button1 - What the button looks like when a user puts one's cursor on it */

#actuate_but:hover {
    background-color: white;
    color: maroon;
    cursor: pointer;
}


a {
    color: blue;
    text-decoration: none;
}


/* Used for the about page*/

.about {
    color: white;
    text-align: center;
    margin: 5px;
    font-size: large;
}


#Background {
    color: #ffbb00;
}

#Pendulum_info {
    /* #4294cf is similar to a light blue color */
    color: #4294cf;
}


/* Used for id=Start */

#Start {
    font-size: 25px;
    font-weight: bold;
    color: #ffbb00;
}


.navbar {
    top: 0;
    width: 100%;
    list-style-type: none;
    margin: 0;
    padding: 0;
    overflow: hidden;
    background-color: #7a0019;
}

.navbar li {
    float: left;
}

.navbar li a {
    display: block;
    color: white;
    text-align: center;
    padding: 14px 16px;
    font-family: "Raleway", sans-serif;
    text-decoration: none;
}

.navbar li a:hover {
    background-color: #ffcc33;
    color: #000000;
    /* Remove underlines from links */
    text-decoration: none;
}

h2 {
    font-size: larger;
}

.error {
    color: red;
}