/* -*- mode: text; -*- */

body {
       background-color: rgb(242, 240, 225);
}

quote {
   font-style: italic
}

pre {
   font-family: monospace;
   white-space: pre;
   margin-left: 20;
   margin-right: 20;
   margin-top: 5;
   margin-bottom: 5;
   padding: 5px;
   color: darkgreen;
   background-color: silver;
   border: solid thin rgb(226, 116, 59);
}

blockquote {
   font-style: italic
}

a {
   text-decoration:none;
   color: rgb(226, 116, 59);
}

a:link {
   text-decoration:none;
   color: rgb(226, 116, 59);
}

a:visited {
   text-decoration:none;
   color: rgb(226, 116, 59);
}

a:hover {   
   text-decoration:underline;
   color: rgb(226, 116, 59);
}

a.sidenav {
   text-decoration:none;
   font-weight:bold;
   font-family: Univers, Arial, Helvetica, sans-serif;
   color: rgb(226, 116, 59);
}

a.sidenav:link {
   text-decoration:none;
   font-weight:bold;
   font-family: Univers, Arial, Helvetica, sans-serif;
   color: rgb(226, 116, 59);
}

a.sidenav:visited {
   text-decoration:none;
   font-weight:bold;
   font-family: Univers, Arial, Helvetica, sans-serif;
   color: rgb(226, 116, 59);
}

a.sidenav:hover {   
   text-decoration:underline;
   font-weight:bold;
   font-family: Univers, Arial, Helvetica, sans-serif;
   color: rgb(226, 116, 59);
}

a.header {
   text-decoration:none;
   font-family: Univers, Arial, Helvetica, sans-serif;
   color: rgb(242, 240, 225);
}

a.header:link {
   text-decoration:none;
   font-family: Univers, Arial, Helvetica, sans-serif;
   color: rgb(242, 240, 225);
}

a.header:visited {
   text-decoration:none;
   font-family: Univers, Arial, Helvetica, sans-serif;
   color: rgb(242, 240, 225);
}

a.header:hover {   
   text-decoration:none;
   font-family: Univers, Arial, Helvetica, sans-serif;
   color: rgb(226, 116, 59);
}

ul { 
   list-style-type: square; 
   list-style-position: outside;
   margin-top:4px;
}

li { 
   margin-bottom:6px;
}

ul.sidenav { 
   list-style-type: square; 
   list-style-position: inside;
   padding-left:2px;
   margin-left:0px;
   margin-top:0px;
   margin-bottom:0px;
}

li.sidenav { 
   margin-left:0px;
   margin-top:0px;
   margin-bottom:0px;
}

.sidenav {
   font-size:90%;
}

h1 { 
     color: rgb(16, 117, 147);
     font-size:140%;
     font-family: Univers, Arial, Helvetica, sans-serif;
     font-weight:bold;
}
                           
h2 { 
     color: rgb(16, 117, 147);
     font-size:120%;
     font-family: Univers, Arial, Helvetica, sans-serif;
     font-weight:bold; 
}
               
h3 { 
     color: rgb(16, 117, 147);
     font-size:100%;
     font-family: Univers, Arial, Helvetica, sans-serif;
     font-weight:bold; 
}

.navborder {
             background-color: rgb(16, 117, 147);
}

.navbar {
           background-color: rgb(230, 230, 230);
}

.tbodyodd {
         background-color: #EAEAEA;
         font-size: 12px;
         padding: 1px 4px 1px 4px;
}

.tbodyeven {
         background-color: #CCCCCC;
         font-size: 12px;
         padding: 1px 4px 1px 4px;
}

.header {
	font-weight: bold;
	color: rgb(242, 240, 225);
}