/* ---------------------------------------------------------------------- */
body {
   background: url("letterpress.jpg"); 
   margin: 2em;
   font: 90%/150% serif;
}

/* p { text-indent: 1em } */

h1 { font: bold 170% sans-serif; color: #223 }

h2, h3, h4 {
   background: url("letterpress1.jpg");
   font-style: bold;
   font-family: sans-serif;
   color: #223;
   padding-top: 0.5em;
   padding-bottom: 0.2em;
   margin-left: -1em;
}

h2 {
   font-size: 120%;
   text-indent: 0.5em;
   margin-right: -1em;
   margin-top: 1.5em;
   clear: both;
}
h2:first-letter { font-size: 120% }

h3 {
   background-repeat: repeat-y;
   font-size: 110%;
   text-indent: 1em;
}
h3:first-letter { font-size: 120% }

h4 {
   background-repeat: no-repeat;
   font-size: 100%;
   text-indent: 1.5em;
}

pre { 
   font-size: 90%;
   line-height: 120%;
   overflow: auto;
   border-style: inset; 
   border-width: thin;
   margin-left: 2em;
   margin-right: 2em;
}

img.terminal { margin-left: 2em }

pre.terminal { color: black;  background-color: white }
pre.source { color: black;  background-color: white }
pre.term { color: white; background-color: black }

span.R { color: blue }
span.F { color: red }
span.PA { color: teal }
span.PB { color: green }

address { text-align: right }

div.right { text-align: right }
a.ref { color: #FFF; background-color: #999 }
a:hover { color: #B20; background-color: transparent }

#cright { text-align: center }

hr {
   border-style: dashed;
   border-width: thin;
   border-color: #666;
}

blockquote {
   border-style: dotted;
   border-width: thin;
   border-color: #666;
   padding: 0.5em;
   width: auto;
}


ol {
   background-color: #ffe;
   padding-left: 2.5em;
   padding-right: 1em; padding-top: 1em; padding-bottom: 1em;
}

ul {
   background-color: #ffe;
   padding-left: 2.5em;
   padding-right: 1em; padding-top: 1em; padding-bottom: 1em;
}