@font-face {
	font-family:'DejaVu';
	src: url('/fonts/DejaVuSansMono.ttf')
}

body {
    background-color: #DEFFCF;
    font-family: 'DejaVu';
    width:1024;
    font-size:1.25em;
    margin-left:1em;
    margin-right: 1em;
}
pre {
    font-size: 1.5em;
    color:black;
    background-color:#ffca00;
/*    border-radius:10px;*/
}

.menu
{
	text-align:center;
     position:relative;
     border-radius:20px;
   	border: 2px solid black;
     padding:10px;
     float:right;
     height:100%;
     left:0px;
     width:30em; /* NOT width of menu */
	font-size:1em;
	font-family:'DejaVu';
	color:black;
	background-color:#C6FF7D;
     column-count:2;
     text-align:left;
     column-width:50%;
     height:10em; /* freeze height */
     overflow:auto; /*make scrollable - horizontal */
}

a:link { text-decoration:none;font-size:1.0em;font-family:'DejaVu'; color:#047A09;}
a:visited {text-decoration:none;font-size:1.0em;font-family:'DejaVu'; color:#047A09;}
a:hover {text-decoration:none;font-size:1.0em;font-family:'DejaVu'; color:#FF1310;}
/*a:active {font-size:1.25em;font-family:"DejaVu"; color:#FFF;}*/

.bigbox {
     border:solid #08A407  2px;
	padding-left:3em;
	padding-right:3em;
	border-radius:20px 20px 20px 20px;
	height:100%;
}
/* subscript & superscript */
sub,sup {
  font-size:75%;
  line-height:0;
  position: relative;
  vertical-align:baseline;
}
sup {
  top: -0.5em;
}
sub {
  bottom: -0.25em;
}
img {
     padding:10px;
}
hr {
    background-color:#637F4F;
    width:100%;
    height:2em;
    border-radius:5px;
}

h1 {
     text-align:center;
    color:#000;
    font-family:'DejaVu';
    font-weight:normal;
    font-size:2.0em;
}
h2 {
     text-align:left;
    color:#000;
    font-family:'DejaVu';
    font-weight:normal;
    font-size:1.5em;
    padding:3px;
}
h4 {
     text-align:left;
    color:#000;
    font-family:'DejaVu';
    font-weight:normal;
    font-size:1.5em;
    padding:1em;
    background-color: #F1FF7D;
    border-radius: 5em;
}

.splitter{
    background-color:#637F4F;
    font-family: "DejaVu";
    font-size:1em;
    color:#000000
    width:100%;
    height:2em;
    border-radius:5px;
     padding-left:15px;
}
.header {
    font-family:'DejaVu';
    background-color:#92BC75;
    width:100%;
    height:2em;
    border-radius:5px;
}
.pullout {
    font-family: 'DejaVu';
    width:75%;
    background-color:#FAEAA7;
    border-radius:10px;
    border: 3px dashed black;
    padding:10px;
}
.notice {
    font-family: 'DejaVu';
    margin-left:3em;
/*    margin-right:auto;*/
    background-color:#FF8A00;
    border:3px dashed black;
    border-radius:10px;
    padding:1em;
}
.rant {
    font-family:'DejaVu';
/*    background-color: #B4B8A8;*/
    background-color: #FFA20C;
    width:60%;
    border:3px solid black;
    border-radius:10px;
    padding:1em;
}
.menu {
    color:#FFF;
}
.low {
    color: #4E4F4E; /*link in 'imp' class */
    text-decoration: none;
    font-family: 'DejaVu';
    padding-right:2px;
    padding-left:2px;
    background-color:#85EC00;
    border-radius:3px;
}
table {
    width:75%;
/*    border-style:solid;*/
/*    border-width:thin;*/
}
td,tr {
/*    border-style:solid;*/
/*    border-width:thin;*/
    width:200px;
    padding:3px;
}
.emph {
    font-family: 'DejaVu';
    padding:5px;
    background-color:#85EC00;
    border-radius:10px;
}
.LittleImp {
    font-family: 'DejaVu';
    padding:5px;
/*    margin-left:10%; margin-right:10%; */
     width:50%;
    background-color:#B2C76F;
    border-radius:10px;
     position:absolute;
     left:450px;
}

.imp {
    font-family: 'DejaVu';
    padding:5px;
    margin-left:10%; margin-right:10%;
    background-color:#FF924E;
    border-radius:10px;
    text-align:center;
}
.impL {
    font-family: 'DejaVu';
    padding:5px;
    margin-left:10%; margin-right:10%;
    background-color:#FF924E;
    border-radius:10px;
    text-align:left;
}

ul,li {
    font-family: 'DejaVu';
/*    list-style-type: square;*/
}
.inv {
    list-style-type:none;
}