/* Tims changes for DART docs */

.indent1 {
        margin-left:4%;
        margin-right:4%;}

.indent2 {
        margin-left:8%;
        margin-right:8%;}

.box   {
    border:solid;
    border-width:thin;}

.namelist {
    background-color: rgb(225,225,225);
    padding: 0.5em;
    border: solid;
    border-width: thin;}

.routine {
    background-color: rgb(240,240,240);
    border: 1.0em;
    border: solid;
    border-width: thin;
    margin-left: 4%;
    margin-right: 4%;}

.routineIndent1 {
    background-color: rgb(240,240,240);
    border: 1.0em;
    border: solid;
    border-width: thin;
    margin-left: 4%;
    margin-right: 4%;}

.type {
    background-color: rgb(225,225,225);
    padding: 0.5em;
    border: solid;
    border-width: thin;
    width: 50%;}

.errors {
    background-color: rgb(204,204,255);
    padding: 0.5em;
    border: none;
    width: 100%;}

div.color {
    background-color: rgb(204,204,255);
    padding: 0.5em;
    border: none;
    width: 100%;}

p.fun {
    color:blue;
    font-family: "Comic Sans MS", cursive, sans-serif;
    font-weight: normal;}

div.fun {
    color:blue;
    font-family: "Comic Sans MS", cursive, sans-serif;
    font-weight: normal;}

div.unix {
    background-color: rgb(204,204,204);
    font-style: typewriter;
    padding: 0.5em;
    border: none;
    margin-left: 4%;
    margin-right: 4%;}

.unix {
    background-color: rgb(204,204,204);
    font-style: typewriter;
    border: none;}

.disclaimer {
    background-color: rgb(240,240,240);
    font-style: typewriter;
    font-size:0.75em;
    padding: 1.0em;
    border: none;
    margin-left: 0%;
    width: 50%;}

p.changed {
    padding-left: 0.2em;
    border-left: solid;
    border-top: none;
    border-bottom: none;
    border-right: none;
    border-left-width: thin;
    border-color: red; }

p.abstract{
    font-size: 1.1em;
    margin-left:  5%;
    margin-right: 15%;
    font-weight: normal;
    text-align:justify; }

em.new {
    color:blue;
    font-style:typewriter;
    background-color: #FFCCFF}

em.units{
    color:crimson;
    font-style:normal}

em.code{
    color:blue;
    font-style:typewriter}

em.changed{
    color:blue;
    font-style:typewriter;
    background-color: #FFCCFF}

em.removed{
    color:blue;
    font-style:typewriter;
    text-decoration:line-through}

em.call{
    color:blue;
    font-style:typewriter;
    font-size:1.5em;}

em.input{
    color:magenta;
    font-weight:bold}

em.option{
    color:blue;
    font-style:italic}

em.optionalcode{
    color:red;
    font-style:typewriter}

em.program{
    color:green;
    font-style:italic}

em.file{
    color:green;
    font-style:typewriter}

em.red{
    color:crimson;
    font-style:normal}

em.green{
    color:green;
    font-style:normal}

em.Navy{
    color:Navy;
    font-style:normal}

em.teal{
    color:cornflowerblue;
    font-style:normal}

em.sub{
    color:peru;
    font-style:normal;
    font-size:1.2em;}

em.head{
    color:white;
    font-style:normal;
    font-size:1.2em;}

em.italic{
    font-style:italic;}

em{
    font-style:normal;
    color:red;}

em.nav{
    font-style:normal;
    color:white;}

ol.loweralpha{ list-style-type: lower-alpha }
ol.upperalpha{ list-style-type: upper-alpha }
ol.lowerroman{ list-style-type: lower-roman }
ol.upperroman{ list-style-type: upper-roman }