body {
    font: 15px verdana,arial,helevetica;
    background-color: bad6e7;
    margin-left: 2px;
    margin-right: 2px;
}

h2, h3, h4, h5, h6 {
  line-height: 1;
}

h4,h3 {
    margin: 20px 0px 5px 0px;
    padding: 0px 0px 0px 0px;
    background-color: CEE3F6;
}

p {
    border: 0px solid black;
    padding: 1px;
}

h1.title {
    padding: 5px;
    border: 0px solid;
    color: white;
    background-color: 03471b;
}

h2.section {
    padding: 8px;
    border-bottom: 2px solid;
    border-left: 2px solid;
    border-color: 03471b;
    background-color: 7bb38f;
}

h2.mot {
    color: blue;
}

p.mot {
    background-color: F5F7C4;
}

h3.thm {
    color: black;
    padding: 5px;
    border: 2px solid;
    border-color: F5F7C4;
    background-color: F5F7C4;
    margin-bottom: 0px;
}

h3.qu {
    color: black;
    padding: 5px;
    border: 1px solid;
    border-color: 663399;
    background-color: 7bb38f;
    margin-bottom: 0px;
}

p.thm {
    font-style: italic;
    border-right: 2px solid gray;
    border-left: 2px solid gray;
    border-bottom: 2px solid gray;
    border-color: MediumBlue;
    padding: 5px 5px 5px 5px;
    background-color: FFFFFF;
    margin-top: 0px;
}

p.hw {
    border-right: 1px solid gray;
    border-left: 1px solid gray;
    border-bottom: 1px solid gray;
    border-color: 663399;
    padding: 5px 5px 5px 5px;
    background-color: FFFFFF;
    margin-top: 0px;
}

h4.proof {
    font-style: italic;
    margin: 2px 0px 0px 0px;
    padding: 0px 0px 0px 0px;
    background-color: CEE3F6;
}

h4.rem {
    color: MediumBlue;
    background-color: 6cb6ff;
    padding: 2px;
}

h4.brown {
    padding: 4px;
    color: black;
    background-color: CC99FF;
    margin-bottom: 0px;
    margin-top: 1px;
}

a.proof {
    color: 663333;
}

p.proof {
    background-color: F2E4D5;
    border: 1px solid;
    border-color: 663333;
    padding: 2px;
    margin-top: 1px;
}

p.qu {
    border-left: 1px solid;
    border-bottom: 1px solid;
    border-right: 1px solid;
    border-color: 663399;
    padding: 5px 5px 5px 5px;
    background-color: white;
    margin-top: 0px;
    margin-bottom: 0px;   
}

p.brown {
    border-left: 1px solid;
    border-bottom: 1px solid;
    border-right: 1px solid;
    border-color: CC99FF;
    padding: 5px 5px 5px 5px;
    background-color: white;
    margin-top: 0px;
}

ol.proof {
    background-color: F2E4D5;
}

ul.proof {
    background-color: F2E4D5;
}

ul.thm {
    list-style-type: none;
}

a.intu {
    color: 59955C;
}

p.intu {
    background-color: B4D1B6;
}

br.thm {
    margin: 10px;
}

p.closure {
    padding: 10px;
    border: 1px solid;
    border-color: DarkGreen;
}

a.title {
    background-color: bad6e7;
    color: 03471b;
    padding: 8px 10px;
    text-align: left;
    text-decoration: none;
    display: inline-block;
}

/* Style The Dropdown Button */
.dropbtn {
    background-color: FFDD75;
    color: 03471b;
    font-size: 15px;
    padding: 8px 10px;
    border: none;
    cursor: pointer;
}

/* The container <div> - needed to position the dropdown content */
.dropdown {
    position: relative;
    display: inline-block;
}

/* Dropdown Content (Hidden by Default) */
.dropdown-content {
    display: none;
    position: absolute;
    background-color: CEE3F6;
    min-width: 280px;
    box-shadow: 0px 8px 16px 0px rgba(0,0,0,0.2);
    z-index: 1;
}

/* Links inside the dropdown */
.dropdown-content a {
    color: black;
    padding: 8px 15px;
    text-decoration: none;
    display: block;
}

/* Change color of dropdown links on hover */
.dropdown-content a:hover {background-color: #f1f1f1}

/* Show the dropdown menu on hover */
.dropdown:hover .dropdown-content {
    display: block;
}

/* Change the background color of the dropdown button when the dropdown content is shown */
.dropdown:hover .dropbtn {
    background-color: CEE3F6;
}

.navbar {
    /*overflow: hidden;*/
    background-color: FFDD75;
    position: fixed; /* Set the navbar to fixed position */
    top: 0; /* Position the navbar at the top of the page */
    width: 100%; /* Full width */
    z-index: 9999;
}

.main {
  padding: 0px;
  margin-top: 50px;
  height: auto; /* Used in this example to enable scrolling */
}