/* for body.  padding: 2em 1em 2em 70px;  margin: 0; */
/* for body.  padding: top right bottom left;  margin: 0; */

body {
 padding: 1em 1em 1em 1em;  
 margin: 0px 0px 0px 0px; 
 font-family: serif;
 color: black;
 background: rgb(255,242,226);
 background-position: top left;
 background-repeat: no-repeat;
}


a[href] {  text-decoration:underline; }

@media print {
 body{   font-size: 10pt;}
 pre{   font-size: 9pt;}
}

.sansserif {font-family: Helvetica,Verdana,Arial}
.sansserifd {font-family: Monaco,Verdana,Arial,Helvetica}
.colA { color: blue  }
.colB { color: red  }
.colC { color: green  }
.colD { color: purple  }
.colE { color: olive  }
.colF { color: #00bbbb  }

.blanc { background: #ffffff }

li p {text-indent:0px}
p {text-indent:2em}
p:first-letter {font-size: 130%;}

pre { margin-left: 2em }

pre, code { font-family: monospace } /* navigator 4 requires this */
pre {
    margin-left: 1em;
}

.ltx-source {
    width: 80%;
    border: none;
    background-color: #eee;
    color: maroon;
    margin-left: 2em;
}

.tty_out {
    width: 80%;
    color: black;
    background-color: #eee;
    border: 2px;
    border-style: dotted;
    border-color:  #ffa400; /* orange */
}

.xml_out {
    margin-left: 0em;
    border: 3px;
    border-style: solid;
    border-color: #14c800;
    width: 98%;
    color: black;
    background-color: #eee;
}

.log_out {
    width: 100%;
    color: black;
    background-color: #eee;
    border: solid;
   border-color: rgb(80,0,200); 
}

.xml-code {
    border: 3px;
    border: none;
    width: 80%;
    color: #42a;
    background-color :rgb(248,248,248);
    margin-left: 2em;
}


.latex-code {
    width: 80%;
    border: none;
    background-color: rgb(248,248,248);
    color: maroon;
    margin-left: 2em;
}

.log-code {
    width: 80%;
    border: none;
    background-color: rgb(237,237,255);
    color: black;
    margin-left: 2em;
}

pre.ltx-source {
    margin-left: 2em;
}

samp { color: maroon;}


.bl { color: blue;
}
.black { color: black;
}

.important {
 color: red;
 font-size: 120%;
 font-weight: bold;
}

.colbad { color: red;
}

.colblack { color: black;
}

/* xml comment */
.xc { color: blue;
}

.txt { color:  #42a;
}

.vc { vertical-align: middle ;}
.hc { text-align: center ;}
div.hc { text-align: center ;}

.noindent{ text-indent:0em}
p.nofirst:first-letter{ font-size:100% }

.idx1 { text-indent:0em; margin-top:2px}
.idx2 { text-indent:2em;}
.idx3 { text-indent:4em;}

.prenumber {
   font-size:small;
   font-family: serif;
   color: black;
   background: rgb(255,242,226);
} 

.eqno{
  text-align:right;
  width:2em;
}

.thesis-heading {
margin:1mm 2cm 1cm 2cm;
}

.float-center    { text-align:center; font-size:large; width 80% }
.float-left    {  float:left; }
.float-right    {  float:right; }       

@media print {
.thesis-heading {
margin:1mm 5mm 1cm 5mm;
}
}