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

.text {
color:#000;
font-family:DejaVu;
font-size:1em;
}
body
{
background-color : #cc9;
font-family : "DejaVu";
color : #000;
font-weight : normal;
font-size : 1.0em;
margin : 0;
margin-left : 10%;
margin-right : 10%;
margin-top : 0;
margin-bottom : 10px;
padding : 0;
}
#setOut {
     border-radius:5px;
     margin-left:10%;
     margin-right:10%;
     background-color:#E1F56F;
     padding:1em;
     text-align:left;
}

div.body
{
font-family : "DejaVu";
font-weight : normal;
font-size : 1.0em;
color : #000;
background-color : #cccc99;
}

div.navbar
{
margin-left : 5%;
margin-right : 5%;
background-color : #000;
text-align : center;
font-family : "DejaVu";
font-size : 18px;
padding : 15px;
}

.NavBox
{
background-color : #fc6;
text-align : center;
vertical-align : text-bottom;
border-style : solid;
border-color : #000;
padding : 1em;
}

.menu
{
background-color : #fc6;
text-align : center;
vertical-align : text-bottom;
border-style : solid;
border-color : #000;
padding : 1em;
}

h1, h2, h3
{
font-family : "DejaVu";
color : #006;
font-weight : normal;
font-style : normal;
text-decoration : none;
}
h1
{
	font-family: "DejaVu";
	font-size : 1.5em;
	color: #006;
}
h2
{
	font-family:"DejaVu";
	font-size : 1.6em;
	color: #006;
	background-color : #DDFFD1;
	border-radius:5px;
	padding-left:1em;
}
h3
{
	font-family:"DejaVu";
	font-size : 1em;
	color: #006;
}
.body
{
color : #000;
font-family : "DejaVu";
font-weight : normal;
font-size : 16px;
text-decoration : none;
}

a.navbar
{
color : #cc9;
text-decoration : none;
font-family : "DejaVu";
font-weight : normal;
font-size : 12px;
}

a.mylink
{
color : #006;
font-weight : bold;
text-decoration : none;
background-color : #cc9;
font-family : "DejaVu";
font-size : 12px;
}

a
{
color : #006;
font-weight : bold;
text-decoration : none;
background-color : transparent;
font-family : "DejaVu";

}
a:hover
{
	background : #D6FF7A;
	border-radius:5px;
}
img
{
background-color : #cc9;
color : #900;
}
ul {
color : #000;
/*background-color : #D6FF7A;*/
font-family : "DejaVu";
font-weight : normal;
font-size : 1.5em;
}
p
{
color : #000;
/*background-color : #D6FF7A;*/
font-family : "DejaVu";
font-weight : normal;
font-size : 1.5em;
}

blockquote
{
color : #000;
font-family : "DejaVu";
font-weight : normal;
font-size : 12px;
}
input[type=submit]
{
	background-color:#8BDB0D;
	color:#000;
	border-radius:20px;
    font-family:"DejaVu";
    font-size:2.0em
}
input[type=reset]
{
	background-color:#FF940B;
	color:#000;
	border-radius:20px;
    font-family:"DejaVu";
    font-size:2.0em
}
.subform {
    font-family:"DejaVu";
    font-size:1.0em;
    color: #000;
}
.subform select
{
	font-family:"DejaVu";
	font-size:1.0em;
	width:3em;
	size;
	position:absolute;
	border:0
/* https://css-tricks.com/dropdown-default-styling/
had to set border for Safari to respect font-size. Firefox works too
*/
}
select option {
	font-size:1.0em;
	font-family:"DejaVu";
}
input[type="button"]
{
	font-family:"DejaVu";
	font-size:2.0em;
	background-color:#FF940B;
	color:#000;
	border-radius:10px;
}
input[type="text"] {
    font-size:1em;
    font-family:"DejaVu";
    width:2em;
}