/*--------------------------*/

body {
    margin: auto;
    width: 800px;
    padding: 0;
    color: #000;
    background-color: white;
    /* border-style: solid; */
    /* border-width: thin; */
}

#container {
    margin: 0; /*1em 5%;*/
    background-color: white;
    /* background-image: url(../images/menu_back.gif); */
    /* background-repeat: repeat-y;*/
    /* background-position: -10px 0*/
    /* border: 1px solid #333; */
}

#container img { border: 0; }

#banner {
    background-color: #c4fff2;
    border-bottom: 1px solid #333;
}

#banner h1 {
    margin-top: 0; 
    margin-bottom: 0;
    font-size: 120%;
    color: black;
    text-align: center;
    padding: .5em;
}

#banner a {
    color: black;
    text-decoration: none;
}

#nav {
    float: right;
    width: 140px;

    padding-left: 1em;
    padding-right: 1em;
    padding-top: 1em;
    padding-bottom: 1em;

    margin-top: 20px;
    margin-right: 30px;
    margin-left: 30px;
    margin-bottom: 10px;

    font-size:   90%;
    font-style:  normal;
    font-family: Arial, Helvetica, sans-serif;
    text-align:  left;
    
    line-height:  150%;

    border-style: solid;
    border-width: thin;

    background-color: #c4fff2;
}

#nav p
{
    margin-top: 0;
}

#nav a:link { color: blue; text-decoration: none; }
#nav a:visited { color: blue; text-decoration: none; }
#nav a:focus { color: green; text-decoration: none; }
#nav a:hover { 
    color: red;
    text-decoration: none; 
} 

#nav h2 {
    color: black;
}

#navbanners {
    float: left;
    width: 200px;
    margin-left: 30px;
    margin-top: 50px;
}

#navbanners img { margin-bottom: 15px; }

#content {
    /* padding-top: 1em; */
    /* padding-left: 2em; */
    margin-left: 40px;
    margin-right: 40px;
    margin-top: 1em;
    margin-bottom: 1em;

    font-size: 110%;
}

#content h1 {
    font-size:   x-large;
    font-style:  normal;
    font-family: Arial, Helvetica, sans-serif;
    text-align:  left;
    width:       75%;
    color:       black;
    margin-left: -1em
}

#content h2 {
    font-size:   x-large;
    font-style:  italic;
    font-family: Arial, Helvetica, sans-serif;
    text-align:  left;
    width:       95%;
    color:       black;
    margin-left: 0
}

#content h3 {
    font-size:   large;
    font-style:  italic;
    font-family: Arial, Helvetica, sans-serif;
    text-align:  left;
    width:       95%;
    color:       black;
    margin-left: 0
}

#content h4 {
    font-size:   larger;
    font-style:  italic;
    font-family: Arial, Helvetica, sans-serif;
    text-align:  left;
    width:       95%;
    color:       black;
    margin-left: 0
}

#content p:first-letter {
    font-size: 120%;
    color: #005e49;
}

#content p { 
    padding-bottom: 0.2em; 
    text-align: justify;
}

#content img {
    float: right;
    margin-left: 20px;
}

#reference li {
    list-style: decimal;
    padding-bottom: 0.4em;
    text-align: justify;
}

#footer
{
    clear: both;
    background-color: #c4fff2; /*#68d;*/
    padding: 1em;
    text-align: right;
    border-top: 1px solid #333;

    font-size: small;
    font-style: italic;
    font-family: Arial, Helvetica, sans-serif;
}

/* Displaying mathematics (from latex2html)*/

#formula img {
    float: none;
    margin-left: 0px;
}

div.code {
    float: none;
    width: 600px;

    padding-left: 1em;
    padding-right: 1em;
    padding-top: 1em;
    padding-bottom: 1em;

    margin-top: 0px;
    margin-right: 60px;
    margin-left: 40px;
    margin-bottom: 20px;

    font-size:   100%;
    font-style:  normal;
    font-family: monospace;
    text-align:  left;
    
    line-height:  120%;

    border-style: solid;
    border-width: thin;

    background-color: #bbffae;
}

div.code-header {
    color: Red;
    text-align: right;
}

span.code-comment {
    color: #a52a2a;
}

span.code-string {
    color: #b8860b;
}

span.code-key {
    color: #8a2be2;
}

span.code-funcname {
    color: #0000ff;
}

div.formula {
    font-style: italic;
    text-align: center;
}

div.problem-def {
    font-style: italic;
    padding-left: 2em;
    border-left: 1px solid #333;
}

table.profiling {
    border: solid;
    border-width: 1px;
    text-align: center;
}

table.profiling td {
    border-style: none;
}

.switchformula {
    padding-top: .5em;
    padding-bottom: .2em;
    text-align: center;
}

table.switchformula {
    margin: 0;
    width: 100%;
}

img.longtxtform {
    vertical-align: top;
}

img.txtmidform {
    vertical-align: middle;
}

td.numformula {
    text-align: right;
}

/* This is for continue of the real paragraph after switch formula*/
.continue {
    text-align: justify;
}

/* figures in math text */
.mathfigure {
    width: 100%;
    text-align: center;
    color: #003366;
    padding-bottom: 0.4em;
    padding-top: 0.4em;
}