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

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

H1,H2 { margin-top: 0; margin-bottom: 0.5ex; }

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

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

H3 { margin-bottom: 2 }

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

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

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

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

DIV.code, DIV.coderef {
	   margin-left: auto; margin-right: auto; width: 90%;
	   margin-top: 1ex; margin-bottom: 1ex;
	   padding: 1ex;
           font-family: monospace; white-space: pre;
           border-width: 3px;
	   border-style: solid;
	   border-color: #0066cc; }

.grey { background-color: #ddd; }
.ctx { font-size: smaller; color: #555; }

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

CODE { background-color: #ffc; }

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

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

.code { border: solid 1px black; }

TABLE { align: center; font-size: inherit; }
TH { text-align: left;
     font-family: sans-serif; }
TH,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%; }