 body { color: black; background: white }
 h2 {
	border-left-width:	4px;
	border-left-style:	solid;
	padding-left:		4px;
	border-bottom-width:	1px;
	border-bottom-style:	dotted;

 }
 h3.new { 
	margin-left:		1em; 
	padding-left:		4px;
	color:			black;
	background-color:	#eeeeee;
	border-bottom-width:	1px;
	border-bottom-style:	dotted;
 }
 h4.comment {
	margin-top:	0; 
	margin-left:	2em; 
	margin-bottom:	0;
	font-style:	italic
 } 
 div.uservar { font-weight: bold }
 div.section { margin-left: 2em; margin-top: 0 }
 div.sub { margin-left: 1em; margin-top: 0 }
 div.list { margin-left: 1em }
 div.fn { margin-left: 1em; margin-top: 0 }
 div.url { margin-bottom: 0;
           overflow: scroll;
 }
 div.boardlink { font-weight: bold; font-style: italic }
 dl.comments, ul.comments {
	margin-left:	3em; 
	margin-top:	0;
	font-size:	smaller
 }
 pre { 
	white-space:	pre;
	padding:	0.5em;
	border-color:	#ffeeb0;
	border-style:	outset;
	border-width:	4px
 }
 pre {
	overflow: scroll;
 }
 a.hide:link { color: black; background-color: white; text-decoration: none }
 a.hide:visited { 
	border-style: solid;
	color:		#990000;
	background:	#E0E0FF;
	border-width:	0px 0px 0px 0px;
	margin:		0em;
	font-weight:	bold
 }
 a.hide2:link { color: black; text-decoration: none }
 a.black:link { color: black; background-color: white; font-weight: bold }
 a:hover { color:#FF0000; }
 span.newmark { color: red; background-color: white; font-size: smaller }
 span.bold-red { color: red; background-color: white; font-weight: bold }
 div.bold-red { color: red; background-color: white; font-weight: bold }
 ul.schedule { font-size: smaller }
 ul.schedule-in-body {
	margin-top:		0;
	margin-bottom:		0
 }
 ul.todo { font-size: smaller }
 div.schedule-in-body { 
	margin-left:            1em;
	padding-left:           4px;
	margin-bottom:		0;
	color:                  black;
	background-color:       #9999cc;
	border-bottom-width:    1px;
	border-bottom-style:    dotted;
	font-size:		smaller 
 }

/* free office */
 div.freeoffice a {
   width: 50px;
   margin: 0px;
   padding: 5px 3px;
   border: 2px solid black;
   font-size: 16px;
   font-family: Helvetica, Arial, Verdana, Geneva, Chicago, sans-serif;
   text-decoration: none;
  font-weight: bold;
   background: #f90;
   color :black;
 }
 div.freeoffice a:hover {
   background:black;
   color:white;
 }
 div.freeoffice a span.firsthalf {
   padding: 2px;
 }
 div.freeoffice a span.secondhalf {
   padding: 2px;
   background: white;
   color: #D1130A;
 }
 div.freeoffice a:hover span.secondhalf {
   background: #ccc;
   color:black;
 }
/* end of free office */

