/* for body.  padding: 2em 1em 2em 70px;  margin: 0; */

body {
 padding: 0em 1em 2em 3px;  
 font-family: serif;
 color: black;
 background: #ffeed8;
 background-position: top left;
 background-repeat: no-repeat;
}


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

@media print {
 body{   font-size: 11pt;}
}

.colA { color: blue  }
.colB { color: red  }
.colC { color: green  }
.colD { color: purple  }
.colE { color: olive  }
.colF { color: #00bbbb  }

.blanc { background: #ffffff }

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;
}
.c_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 */
}
.sym_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); 
}

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

samp { color: maroon;}


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

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

.colbad { color: red;
}

.colblack { color: black;
}

.author { color: #000080;
font-weight: bold;
}

.title { color: #008000;
font-style:italic;
}


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

.txt { color:  #42a;
}

.vc { vertical-align: middle ;}
.noindent{ text-indent:0em}
p.nofirst:first-letter{ font-size:100% }