body{
    padding:5% 10% 5% 10%;
    background-color:#fefefe;
/*    font-family:Times,serif; */
    font-family:Helvetica,sans-serif;
/*    font-size:medium; */
/*    color:#999999;*/
    color:#000000;
}
p{
	text-indent:1em;
    line-height:1.35em;
}
h2{
    width:100%;
    padding:0.2em 0em;
    margin-top: 2em;
/*
    border-bottom: 2px solid silver;
    border-top:    2px solid silver;
*/
    border-bottom: 2px solid silver;
}
h3,h4,h5{
    margin-top:2em;
}
h3{
    width:100%;
    padding:0.2em 0em;
    margin-top: 2em;
    border-bottom: 2px dotted silver;
}
address{
    font-size:x-small;
    text-align:center;
}
em{
    color:#0000cc;
    font-style:normal;
}
samp{
    color:#ffffff;
    background-color:#000000;
    padding:1em;
    width:100%;
}
table{
    border-color: #999999;
}
tr{
    border-color: #999999;
}
td{
    border-color: #999999;
}

a:link,a:visited{
    color:#000000;
    text-decoration:underline;
}

a:hover{
	color:#990000;
    text-decoration:underline;
}
.date{

}
.mainmenu{
    border-style:solid; border-color:#000000;
    border-width:3px 0px;
    margin:15% 25% 0% 25%;
    padding:5%;
/*    height:50%;*/
    text-align:center;
}
.title{
    font-size:x-large;
}
.menuitems{
    margin:1%;
}
.file{
    font-family:Courier,monospace; 
}

.menublock{
    text-align:right;
}

li.comment{
	text-indent:1em;
    padding-left:1em;
}

li{
    line-height:1.5;
}

div.kbd{
   color:#ffffff;
   background-color:#000000;
   padding:0.5em;
   margin:0.5em;
   font-family:monospace;
}

div.quoteurl{
    margin:0.75em;
}

.notation{
   padding:2.5% 2.5% 2.5% 2.5%;
   border-style:solid;
   border-width:1px;
   line-height:1.3em;
}

.notation2{
   padding:2.5% 2.5% 2.5% 2.5%;
   border-style:solid;
   border-width:2px;
   border-color:#999999;
   line-height:1.3em;
   margin:0% 10% 0% 10%;
   width:80%;
}

p.notation{
   border-style:solid;
   border-width:1px;
   line-height:1.3em;
}

.usage{
   padding:1.5% 1.5% 1.5% 1.5%;
   margin:0% 0% 0% 0%;
   border-style:solid;
   border-width:1px;
   line-height:1.3em;
}

dl.optionlist dt{
   font-family:monospace;
   font-weight:bold;
}
dl.optionlist dd{
   margin: 1% 1% 3% 5%;
}

dl.varlist {
   padding-left: 2em;
}

dl.varlist dt{
   color:#000099;
   font-family:monospace;
   font-weight:bold;
}
dl.varlist dd{
   margin: 1% 1% 3% 5%;
}

ol.itemize li{
   margin-bottom: 1em;
}

div.example{
   margin: 0% 0% 3% 0%;
}

pre.console{
   color:#ffffff;
   background-color:#666666;
   padding:0.5em;
   margin:0.5em;
   font-family:monospace;
}

pre.console2{
   color:#ffffff;
   background-color:#333399;
   padding:0.5em;
   margin:0.5em;
   font-family:monospace;
}

pre.consolequote{
   color:#ffffff;
   background-color:#000000;
   padding:0.5em;
   margin:0.5em;
   font-family:monospace;
   font-size:xx-small;
}

pre.code{
   font-family:monospace;
   padding:1% 5% 1% 5%;
   border-style:solid;
   border-width:1px;
}

pre.octave{
   color:#ffffff;
   background-color:#000000;
   padding:0.5em;
   margin:0.5em;
   font-family:monospace;
   line-height:1.2;
}

.ifc{
    color:#990000;
}

.g95{
    color:#999900;
}

.octave{
    color:#000099;
}

.fortran{
    color:#009900;
}

.utils{
/*    color:#0099cc; */
    color:#cc6633;
}

.person{
    color:#333399;
}

.path{
   font-family:monospace;
}

.cmd{
   font-family:monospace;
}

.dir{
   font-family:monospace;
}

.verb{
   font-family:monospace;
}

.mysoft{
    color:#336699;
}

.most{
    color:#ff0000;
}

.table{
    margin: 2%;
}

.figure{
    margin: 2%;
    text-align:center;
}

em.hard{
    font-weight: bold;
}

em.file{
    font-family: monospace;
}

span.compileopt{
    font-family: monospace;
}
span.file{
    font-family: monospace;
}

span.na{
    color: #cccccc;
}

table.wide td{
    width: 1%;
    padding: 1.5%;
}
table.wide th{
    width: 1%;
    padding: 1%;
}

div.person_pict{
    float: left;
    margin-right: 2em;
    margin-bottom: 1em;
}

div.person_info{
    margin-left: 2em;
    margin-bottom: 1em;
}

div.person_sep{
    clear: both;
}

h3.person{
    clear: both;
    margin-top: 1em;
}