BODY {
  background-color:	white;
  background:		white;
  color:		black;
  font-size:		10pt;
  font-family:		Verdana, Arial, Helvetica, sans-serif;

  margin-left:		0px;
  margin-right:		0px;
  margin-top:		0px;
}

H1, H2, H3, H4, H5, H6 {
  font-family:		Verdana, Arial, Helvetica, sans-serif;
  font-weight:		bold;
  color:		black;
}

A {
  color:		blue;
}

H1 {
  font-size:		14pt;
}

H2 {
  font-size:		12pt;
  line-height:		0.6;
  margin-top:		0px;
  margin-bottom:	7px;
}

H3 {
  font-size:		10pt;
}

H4 {
  font-size:		8pt;
}

.framing {
  background:		#99ccff
}

.plain {
  font-size:		12pt;
  font-family:		Verdana, Arial, Helvetica, sans-serif;
  font-weight:		bold;
}

.copyright {
  font-size:		10pt;
  font-family:		Verdana, Arial, Helvetica, sans-serif;
  text-align:		center;
}

.globalmenu {
  font-family:		Verdana, Arial, Helvetica, sans-serif;
  font-size:		10pt;
  text-decoration:	none;
  color:		white;
}

welcome {
  font-family:		Verdana, Arial, Helvetica, sans-serif;
  font-size:		10pt;
  font-weight:		bold;
  margin-top:		4pt;
  text-decoration:	none;
  color:		#000066;
}

.question {
  font-family:		Verdana, Arial, Helvetica, sans-serif;
  font-size:		10pt;
  font-weight:		bold;
  font-style:		italic;
  margin-bottom:	4pt;
  padding-left:		4pt;
  padding-right:	4pt;
  margin-right:		10pt;
  text-decoration:	none;
  color:		black;
  background-color:	deepskyblue;
  border:		3px dotted blue;
}

.sidemenu {
  font-family:		Verdana, Arial, Helvetica, sans-serif;
  font-size:		10pt;
  text-decoration:	none;
  color:		white;
  font-weight:		normal;
  margin-left:		8pt;
  margin-top:		0pt;
  margin-bottom:	0pt;
}

.lefttitle {
  font-family:		Verdana, Arial, Helvetica, sans-serif;
  font-size:		13pt;
  margin-left:		5pt;
  margin-top:		0pt;
  margin-bottom:	0pt;
  padding-top:		0pt;
  padding-bottom:	0pt;
  color:		black;
  font-weight:		bold;
}

.topmenu {
  font-family:		Verdana, Arial, Helvetica, sans-serif;
  font-size:		12pt;
  text-decoration:	none;
  color:		white;
  font-weight:		normal;
  margin-left:		10pt;
  margin-top:		0pt;
  margin-bottom:	0pt;
}

STRIKE {
  text-decoration:	line-through;
}

/*****
 * The "SearchWiki" Input Box at the Page Top
 */

#wikihead {
  text-align:		left;
  margin-right:		0px; /* Right-Align Box */
  margin-left:		0px;
  font-size:		11pt;
/*  border:		2px solid #cccccc; */
}

#wikihead INPUT {
  font-size:		smaller;
}

#wikihead FORM {
  margin:		0px;
}

/*****
 * Horizontal Menu Bar of Page-Edit Comands
 */

#wikicmds { /* Command ButtonBar */
  margin-top:		0px;
  border-top:		0px;
  padding-top:		0px;

  text-align:		right;
  vertical-align:	top;
  font-size:		10pt;
  background-color:	#dfccee;
}

#wikicmds A { /* Command Buttons */
  margin-top:		0px;
/*  border-top:		0px; */
  padding-top:		0px;

  text-decoration:	none;
  font-variant:		small-caps;
  color:		blue;
  background-color:	#99ccff;

  margin-left:		5px;
/*  border-left:		0px; */
  padding-left:		5px;

  border:		2px solid blue;

  margin-right:		0px;
/*  border-right:		0px; */
  padding-right:	0px;
}

/*****
 * Left-Menu
 */

#wikileft {
  font-family:		Verdana, Arial, Helvetica, sans-serif;
  font-size:		9pt;
  font-weight:		normal;

  color:		blue;
  text-decoration:	none;
  background-color:	#99ccff;

  width:		150px;

  margin-left:		8pt;
  padding-left:         1pt;

/*  border-right:		2px solid #cccccc; */
  padding-right: 	3px;

  margin-top:		0pt;
  padding-top:		0.5em;

  margin-bottom:	0pt;
}

#wikileft A {
  color: blue;
}

#wikileft H1 {
  margin:		0px;
  background-color:	#eeeeff;
  font-size:		medium;
  text-align:		center;
}

#wikileft HR {
  color:		#cccccc;
}

#wikileft UL {
  margin-left:		0px;
  padding-left:		6px;

  list-style-type:	none;
}

#wikileft .wikilink {

}

#wikibody {
  padding-top:		0.5em;
  padding-bottom:	1em;
}

/*****
 * Page-Title Bar Across Top of Text Area
 */

#wikititle { /* ID */
  margin-top:		0px;
  border-top:		0px;
  padding-top:		0px;

  padding-left:		10px;

  vertical-align:	bottom;
  background-color:	#dfccee;
}

.pagetitle { /* Class */
  margin-top:		0px;
  border-top:		0px;
  padding-top:		0px;

  font-variant:		small-caps;
  font-size:		9pt;
}

/*****
 * Main Wiki Content Area
 */

#wikitext { /* Big Area of Wiki Content */
  font-size:            10pt;

  margin-top:		0px;
  border-top:		0px;
  padding-top:		0px;

  vertical-align:	top;

  margin-top:		0px;
  padding-left:		5px;
}

#wikitext UL {
  margin-left:         20px;
  border-left:         0px;
  padding-left:        10px;
}

#wikitext H1 {
  color:		blue;
}

#wikifoot { /* ID */
  clear:		both;

  font-size:		10pt;
  font-style:		italic;
  color:		blue;

/*  border-top:		2px solid #cccccc; */
  margin-left:		auto;
  margin-right:		0px;
}

.footnav A {
  color:		blue;
}

H1.wikiaction {
  font-size:		150%;
  margin:		0px;
}

#wikiedit FORM {
  margin:		0px;
}

#wikiedit TEXTAREA {
  width:                99%;
}

/*****
 * Links from a Wiki Page
 */

.wikilink {
  text-decoration:	none;

  font-weight:		bold;
  font-variant:		small-caps;
  font-size:            11pt;

/*  color:		darkpurple; */

  margin-left:		0px;
  border-left:		0px;
  padding-left:		0px;

  margin-right:		0px;
  border-right:		0px;
  padding-right:	0px;
}

.urllink {
  text-decoration:	underline;

  font-weight:		bold;
  font-variant:		normal;
  font-size:            10pt;

  color:		blue;

  margin-left:		0px;
  border-left:		0px;
  padding-left:		0px;

  margin-right:		0px;
  border-right:		0px;
  padding-right:	0px;
}

/*****
 * Background for the Display of Source Code
 */

.sourcecode {
  margin-right:         50px;
  margin-left:          50px;
  background-color:     #eef;
  border:               #666 1px solid;
  padding:              0em;
}

.linecomment {
  color:		green;
}

.blockcomment {
  color:		green;
}

.prepro {
  color:		purple;
}

.select {
  color:		red;
}

.quote {
  color:		blue;
}

.category_1 {
  color:		blue;
}

.category_2 {
  color:		blue;
}

.category_3 {
  color:		blue;
}

/*****
 * Styles specific to Subversion, particularly svnindex.xsl
 */

.footer {
  margin-top: 8em;
  padding: 0.5em 1em 0.5em;
  border: 1px solid;
  border-width: 1px 0;
  clear: both;
  border-color: rgb(30%,30%,50%) navy rgb(75%,80%,85%) navy;
  background: rgb(88%,90%,92%);
  font-size: 80%;
}

.svn {
  margin: 3em;
}

.rev {
  margin-right: 3px;
  padding-left: 3px;
  text-align: left;
  font-size: 120%;
}

.dir a {
  text-decoration: none;
  color: black;
}

.file a {
  text-decoration: none;
  color: black;
}

.path {
  margin: 3px;
  padding: 3px;
  background: #FFCC66;
  font-size: 120%;
}

.updir {
  margin: 3px;
  padding: 3px;
  margin-left: 3em;
  background: #FFEEAA;
}

.file {
  margin: 3px;
  padding: 3px;
  margin-left: 3em;
  background: rgb(95%,95%,95%);
}

.file:hover {
  margin: 3px;
  padding: 3px;
  margin-left: 3em;
  background: rgb(100%,100%,90%);
/*  border: 1px black solid; */
}

.dir {
  margin: 3px;
  padding: 3px;
  margin-left: 3em;
  background: rgb(90%,90%,90%);
}

.dir:hover {
  margin: 3px;
  padding: 3px;
  margin-left: 3em;
  background: rgb(100%,100%,80%);
/*  border: 1px black solid; */
}
