body { background-color: rgb(238,238,211);
       color: #000000;
       font-family: Verdana, Arial, Helvetica, sans-serif;
       border-collapse: collapse;
#       cell-padding: 0;
#       cell-spacing: 0;
     }
.header { background-color: #5B7050;
	  font-size: big;
	  color: #FFCC00;
	  text-align: center;
#          padding: 0pt;
#          cell-padding: 0pt;
#	  spacing: 0pt;
#          margin: 0pt;
#	  border: none;
#          cell-padding: 0;
#          cell-spacing: 0;
}
.bar { background-color: #993300; 
       color: rgb(255,255,255);
       font-weight: bold;
#       padding: 0pt;
#       cell-padding: 0pt;
#       spacing: 0pt;
#       margin: 0pt;
        border: 3pt;
#       cell-padding: 0;
#       cell-spacing: 0;
}

a.bar:link { color: rgb(255,255,255); }

.outline {font-size: 125%; }

pre {margin: 0px; font-family: monospace;}
a:link {color: #000099; text-decoration: none; }
a:hover {text-decoration: underline;}
table {border-collapse: collapse;}
.center {text-align: center;}
.center table { margin-left: auto; margin-right: auto; text-align: left;}
.center th { text-align: center !important; }
td, th { border: 1px solid #000000; font-size: 75%; vertical-align: baseline;}
h1 {font-size: 150%;}
h2 {font-size: 125%;}
h3 {font-size: 100%;}
.p {text-align: left;}
.e {background-color: #ccccff; font-weight: bold; color: #000000;}
.h {background-color: #9999cc; font-weight: bold; color: #000000;}
.v {background-color: #cccccc; color: #000000;}
.vr {background-color: #cccccc; text-align: right; color: #000000;}
span.em {font-weight: bold; color: #000000;}

img.floating { float  : right; border: 0px; }
img.inline   { display: block; border: 0px; }

hr {width: 100%; background-color: #cccccc; border: 0px; height: 1px; color: #000000;}
.error {color: #990000; font-weight: bold; }
.debug { color: rgb(238,238,211);
         background-color: rgb(238,238,211); }

p.log { color: rgb(238,238,211);
        background-color: rgb(238,238,211); }

.invis { visibility: hidden; }

div.msg {
  display: block;
  background-color: #CEF;
  border-style: solid;
  border-width: 1px;
  border-color: #000;
  padding: 2px 5px;
  margin: 5px;
  font-style: italic;
  text-align: center;
}

div.example {
  display: block;
  background-color: #CEF;
  border-style: solid;
  border-width: 1px;
  border-color: #000;
  padding: 2px 5px;
  margin: 5px;
}

p.note {
  font-size: 75%;
  font-style: italic;
}

div.note {
  display: block;
  background-color: #FCE;
  border-style: solid;
  border-width: 1px;
  border-color: #000;
  padding: 2px 5px;
  margin: 5px;
  font-size: 75%;
}

img.screen {
  float: none;
  display: block;
  border-style: solid;
  border-width: 0px;
}