/*
https://html-color-codes.info/web-safe-colors/ 
*/
@import url('https://fonts.googleapis.com/css?family=Noto+Serif|Roboto');

body {
            background: #FFFEEE;
            color: #000000;
            font-family: Verdana;
            font-size: medium;
            font-style: normal;
            font-weight: normal;
            margin: 0px;
            
        }

.main {
	margin-left: 2%;
}
.header h1 {
	color: blue;
	font-size: 2.5em;
	font-family: 'Roboto', sans-serif;
	margin-left: 2%;
}

.header h2 {
	color: red;
	font-size: 2.0em;
	text-align: left;
	margin-left: 2%;
	font-family: 'Roboto', sans-serif;
}



.menu ul{
    list-style-type: none;
    width: 100%;
    overflow: hidden;
    background-color: #333;
}

.menu li {
    float: left;
}

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

.menu li a:hover {
    background-color: #111;
}



.latex img{
	display:block;
	margin:auto;
	padding: 7px;
}

footer{
	position: absolute;
	margin-left: 2%;


}

 div.alert {
            margin-left: 1%;
            margin-bottom: 1%;	
            width: 98%;
        }

            div.alert table {
                border: 1px;
                font-size: 100%;
                width: 100%;
                border: solid 1 #DEDFEF;
            }

                div.alert table th {
                    text-align: left;
                    background: #D8D8D8;
                    border-bottom-width: 1px;
                    color: #000000;
                    padding-left: 5px;
                    padding-right: 5px;
                    border: solid 1px #DEDFEF;
                }

                div.alert table td {
                    background: #FFFFFF;
                    border-top-color: #D8D8D8;
                    border-top-style: solid;
                    border-top-width: 1px;
                    padding-left: 5px;
                    padding-right: 5px;
                    border: solid 1px #DEDFEF;
                }