#wiki {
  position: absolute;
  top: 0px;
  right: 10px;
  color: #00008b;
  font-size: 20pt;
  font-weight: bold;
}

.title {
}

.title a {
  text-decoration: none;
}

.sub-menu a, .sub-menu span {
  text-decoration: none;
  padding: 1px 3px 0px 3px;
}

.sub-menu a:hover, .sub-menu span {
  color: rgb(235, 233, 223);
}

#side-menu { 
	position: absolute;
  top: 132px;
	right: 10px;
	width: 200px;
  border: 1px solid rgb(92, 86, 66);
  padding: 4px;
}

#wikibox {
  padding: 4px;
  margin: 10px 228px 10px 10px;
  border: 1px solid rgb(92, 86, 66);
  clear: both;
}

.wikicontent {
}

.wikicontent a {
  color: rgb(214, 110, 14);
  text-decoration: none;
}

.wikicontent a:visited {
  color: rgb(214, 110, 14);
  text-decoration: none;
}

.wikicontent a:hover {
  color: rgb(214, 110, 14);
}

.wikicontent textarea {
  width: 100%;
}

.wikicontent span.box {
  border: 1px solid #ddd;
  padding: 1px 2px;
  margin: 1px;
}

.wikicontent pre {
  border: 1px solid rgb(92, 86, 66);
  background-color: #fff;
  padding: 2px 5px;
  font-family: monospace;
}

#footer {
  clear: both;
  border-top: 1px solid rgb(92, 86, 66);
  margin-top: 10px;
  padding-top: 5px;
  font-size: 9pt;
}

#footer a {
  color: black;
  text-decoration: none;
}

INPUT[type=text], INPUT[type=password] {
  width: 100%;
}

.blockcomment {
  /* display: block; */
  /* background-color: yellow; */
}
.comment, .blockcomment, .javadoc-comment {
  color: gray;
  font-style: italic;
}
.javadoc-keyword {
  font-weight: bold;
  font-style: normal !important;
  text-decoration: underline;
}
.keyword, .type, .value, .literal {
  color: rgb(0, 0, 128);
  font-weight: bold;
}
.string {
  color: green;
  font-weight: bold;
}
.number, .attribute {
  color: blue;
  font-weight: bold;
}
.line {
  display: block;
  border-bottom: 1px dashed rgb(240, 240, 240);
}
.line-counter {
  margin-right: 1em;
  border-right: 1px dotted rgb(240, 240, 240);
}
.processing-instructions {
  color: rgb(139, 0, 0);
  background-color: rgb(239, 239, 239);
}
.tag {
  color: rgb(0, 0, 128);
  font-weight: bold;
}