BODY.page { font-size: 167%; }

BODY { font-family: verdana, sans-serif; }

BODY.all { background: #99ccff url("/~hallgren/P/o023.jpg"); }

H1,H2 { margin-top: 0; }

H1,H2,H3,H4,H5 { font-family: "comic sans ms",sans-serif;
	         color: midnightblue;
	       }
EM { color: midnightblue; }

.page H5 { /*text-align: center;*/
      background-color: #ffff88;
      padding: 0.5ex;
      margin-top:0;
      margin-bottom: 1ex;
 }

H3 { margin-bottom: 2px; }

P, PRE { margin-top: 1ex; margin-bottom: 1ex; }

SPAN.button { font-weight: bold;
              font-family: sans-serif;
	      background-color: yellow;
            }
DIV.navbar { 
             /*width: 100%;*/
	     text-align: right;
	     font-size: 12px;
             /*padding: 5;
	     margin-top: 10px;
             border-width: 2px 0 2px 0;
	     border-style: solid;*/
           }

DIV.break { page-break-before: always; }

BODY.all DIV.page,BODY.page {
  background-color: #dddddd;
  background-image: url("/~hallgren/P/Texture0106.jpg");
}

BODY.page { margin-left: 1em; }
BODY.all DIV.page { border-width: 2px;
	   border-style: solid;
	   border-color: #0066cc;
           /* margin: 20px; */
	   margin: 0px 20px 20px 20px;
	   padding: 5px;
	   /*page-break-before: always;*/
	   page-break-inside: avoid;
           align: center; }

DIV.code, DIV.coderef {
	   margin-left: auto; margin-right: auto; width: 80%;
	   margin-top: 1ex; margin-bottom: 1ex;
}

DIV.codecell, DIV.code, DIV.coderef {
	   padding: 1ex;
           font-family: monospace;
	   white-space: pre;
           border-width: 2px;
	   border-style: solid;
	   border-color: #0066cc; }

.code,.codecell { background: #ffc; }
.coderef { background: #fff; font-size: smaller; }

CODE { background-color: #ffc; }

STRONG,SMALL { font-family: sans-serif; }
STRONG { color: #0000c0; }

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

.code { border: solid 1px black; }

TABLE { align: center; font-size: inherit; }
TH { text-align: left;
     font-family: sans-serif; }
TABLE.sep TH,TABLE.sep TD { padding: 0 1em 0 1em; }

LI { margin-top: 1ex;
     margin-bottom: 1ex; }

/*LI:before { display: marker; content: url("smiley.gif"); }*/
/* UL { list-style-image: url("smiley.gif"); } */

PRE { margin-left: 1em; font-weight: bold; }
PRE.defs { padding:0.5ex; background: white; }
PRE.hugs { color: #0000cc; }
SPAN.cmd  { color: #cc0000; }
SPAN.cmd:before { content: "> "; }

OBJECT { width: 100%; }