body
{
margin-top: 2ex;
background-color: #d8da89;
color: black;
}

p
{
max-width: 55em;
}


/* Navbar related --------------------------------------------------- */

DIV.indeximage
{
float: left;
margin-right: 30px;
border: 1px solid black;
}

DIV.logoimage
{
float: left;
margin-right: 30px;
}

/*#readable_par
{
width: 65em;
}

#sect
{
margin-left: 10px;
margin-right: 10px;
}*/

DIV.nav_button
{
width: auto;
float: left;
border-bottom: 1px solid gray;
}

DIV.nav_button_sel
{
width: auto;
float: left;
}

#main_box
{
margin-left: 20px;
margin-top: 20px;
}

#pfstools_box
{
max-width: 65em;
padding: 2em;
background-color: #ffffff;
border-bottom: 1px solid gray;
border-left: 1px solid gray;
border-right: 1px solid gray;
clear: both;
}

#pfstmo_box
{
max-width: 65em;
padding: 2em;
background-color: #e5ffd5;
border-bottom: 1px solid gray;
border-left: 1px solid gray;
border-right: 1px solid gray;
clear: both;
}

#pfscalibration_box
{
max-width: 65em;
padding: 2em;
background-color: #d5e5ff;
border-bottom: 1px solid gray;
border-left: 1px solid gray;
border-right: 1px solid gray;
clear: both;
}


SPAN.nav_list
{
font-family: sans-serif;
margin-top: 4px;
margin-bottom: 8px;
}

DIV.code_sample
{
padding: 5px;
margin-top: 4px;
margin-bottom: 4px;
border: 1px solid gray;
background-color: #ffffee;
font-family: monospace;
}

SPAN.inline_code
{
font-family: monospace;
}

DIV.example_item
{
margin-bottom: 1em;
}

DIV.figure_right
{
float: right;
margin: 10px;
font-size: small;
text-align: center;
}

SPAN.news_title
{
font-family: sans-serif;
font-weight: bold;
}

SPAN.news_date
{
font-family: monospace;
color: gray;
margin-left: 2em;
}

SPAN.image-title
{
font-family: sans-serif;
font-weight: bold;
margin: 2px;
}

.panel { height: auto; background-color:#ffffff; margin:20px; padding:30px; border: 1px solid; border-radius: 15px; max-width: 65em; }

#container ul { list-style: none; overflow:hidden; margin:0px }

#container .grid li { float: left; width: auto; height: auto; margin-bottom: 0px; margin-left: 0px; margin-right: 20px} 

.footnotetext { font-size: 80%; color: #808080; }