body { color: rgb(20,20,20); }
h1 { font: bold 2.2em Helvetica,Arial; color: black; }
h2 { font: 1.8em Tahoma,Helvetica,Arial; margin-left: 15px; clear: both; }
h3 { font: 1.4em Tahoma,Helvetica,Arial; margin-left: 15px; }
h4 { font: 1.4em Tahoma,Helvetica,Arial; }
hr { 
   border: none; 
   border-top: 1px solid rgb(196,196,196);
}
p {
  text-indent: 40px;
  text-align: justify;
}
div.text, div.context {
  font: 0.8em Verdana,Tahoma,sans-serif;
  background-color: rgb(240,240,235);
  padding: 1px;
  padding-left:10px;
  padding-right:10px;
  margin-left: 40px;
  margin-right: 10px;
  margin-bottom: 40px;
  clear: both;
}

div.context { 
  width: 500px; 
  line-height: 1.5;
}

li { list-style-type: square; }
li.nested { 
  list-style-type: disc; 
	margin-left: 30px;
}
div.text li { list-style-type: circle; }

pre {
  border: 1px dashed rgb(178,178,178);
  padding: 2px;
  font-size: 9pt;
  background-color: rgb(240,250,255);
  color: rgb(40,10,30);
  clear: both;
}

div.largelistO {
/*  display: none; */
}

div.largelistI {
  height: 250px;
  overflow: auto;
  border: 1px dashed rgb(178,178,178);
  padding: 2px;
  font: 9pt "Courier New";
  background-color: rgb(240,250,255);
  color: rgb(40,10,30);
  clear: both;
  white-space: pre;
}

span.white { color: rgb(200,200,200); }

/* emacs's keybindings */
span.kb { 
	color: green;
	background-color: rgb(235,235,120);
  font: 1em "Courier New";
	white-space: pre;
}

/* emacs's menu */
span.mn { 
	color: blue;
  font: 1em "Courier New";
	white-space: pre;
}

span.vselecter, div.largelist {
  cursor: pointer;
}

div.picleft {
  float: left;
  margin-right: 15px;
}

div.picright {
  float: right;
  margin-left: 15px;
}

div.picright2 {
  float: right;
  margin-left: 15px;
}

div.picright2 img {
  border: 1px solid rgb(200,200,200);
}

div.picleft, div.picright, div.picright2 {
  text-align: center;
  font: 0.85em Tahoma,Arial;
  margin-bottom: 5px;
}