html {
    text-align:left;
    background:#f7f7ff;
    color:black;
    font: normal 10pt sans-serif
}
h1 {
    text-align:right;
    color:black;
    font: bold 30pt sans-serif
}
h2 {
    text-align:left;
    color:black;
    font: bold 20pt sans-serif
}
h3 {
    text-align:left;
    color:black;
    font: bold 16pt sans-serif
}
h4 {
    text-align:left;
    color:black;
    font: bold 12pt sans-serif
}
pre {
	border:1px solid black;
	background:#C0C0C0;
}
.strap {
    color:black;
    font: bold 12pt sans-serif
}
.indent {
    margin-left:3em
}
a {
	text-decoration:underline;
	color:black
}
a:active {
	color:red
}
a.nav {
	color:black;
	text-decoration:none;
	font: normal 10pt sans-serif
}
a.nav:active {
	color:red;
}
table {
    text-align:left;
    background:#f7f7ff;
    color:black;
    font: normal 10pt sans-serif;
}
.transparent {
    background:transparent;
}
.white {
    background:white;
}

.black {
    background:black;
}
.purple {
    background:#f7f7ff;
    border: 1px solid black
}
.small {
    font: normal 6pt sans-serif;
}
img.left {
    float:left;
    padding:5px;
}
img.right {
    float:right;
    padding:5px;
}
.wikidiffold {
    background:#FFFF66;
    border: 1px solid black;
    margin:2px;
}
.wikidiffnew {
    background:#33FF33;
    border: 1px solid black;
    margin:2px;
}
.content {
    background:white;
    border:1px;
    border-style:solid;
}
.leftmenu {
  margin: 15px;
  width: 15%;
  min-width: 205px;
  float: left;
}
.rightmenu {
  margin: 15px;
  width: 10em;
  float: right;
}
.mainwindow {
  margin: 0px;
  padding-left: 1em;
  padding-right: 1em;
  padding-top: 1.2em;
  margin-left: 17%;
}
#clear {
  clear: both;
}