body {
	background-color: #333;
}
#body {
	font-family: "Lucida Console", Monaco, monospace;
	color: #000;
	background-color: #7F3F00;
	position: relative;
	width: 1000px;
	margin-right: auto;
	margin-left: auto;
	padding: 5px;
	text-align: center;
	border-top-width: 8px;
	border-right-width: 8px;
	border-bottom-width: 8px;
	border-left-width: 8px;
	border-top-style: solid;
	border-right-style: none;
	border-bottom-style: none;
	border-left-style: solid;
	border-top-color: #FF9F00;
	border-right-color: #FF9F00;
	border-bottom-color: #FF9F00;
	border-left-color: #FF9F00;
	/*border-radius: 16px; -webkit-border-radius: 16px; -moz-border-radius: 16px; */
}
#copyright {
	color: #000000;
}
.address {
	background-color: #999;
	text-align: left;
	vertical-align: top;
}
.region {
	background-color: #999;
	text-align: left;
	vertical-align: top;
}

.region a {
	color: #7F3F00;
	text-decoration: none;
	font-weight: bold;
}

#body .topMenu a {
	color: #000;
	text-decoration: none;
}
#body .topMenu a:hover {
	font-weight: bold;
}


#body h1 {
	font-weight: normal;
	text-align: center;
	white-space: pre;
	margin: 12px;
	border-bottom-width: thin;
	border-bottom-style: none;
	border-top-width: thin;
	border-right-width: thin;
	border-left-width: thin;
	border-top-style: none;
	border-right-style: none;
	border-left-style: none;
}
#body table tr .region #one {
	margin: 10px;
}

ul.menu, ul.menu ul {
  list-style-type:none;
  margin: 0;
  padding: 0;
  width: 15em;
	text-align:center;
}

ul.menu a {
  display: block;
  text-decoration: none;	
}

ul.menu li {
	margin-top: 1px;
}

ul.menu li a, ul.menu ul.menu li a {
  background: #333;
  color: #fff;	
  padding: 0.5em;
}

ul.menu li a:hover, ul.menu ul.menu li a:hover {
	background: #7F3F00;
	text-align: center;
}

ul.menu li ul li a, ul.menu ul.menu li ul li a {
  background: #ccc;
  color: #000;
  padding-left: 20px;
}

ul.menu li ul li a:hover, ul.menu ul.menu li ul li a:hover {
  background: #aaa;
  border-left: 5px #FF9F00 solid;
  padding-left: 15px;
}
ul.menu ul.menu li a:hover {
    border-left: 0;
    padding-left: 0.5em;
}
ul.menu ul.menu {
    border-left: 5px #f00 solid;
}
ul.menu a.active, ul.menu ul.menu li a.active, ul.menu a.active:hover, ul.menu ul.menu li a.active:hover {
    text-decoration: underline;
    background: #FF9F00;
}
div.panel {
    border: 1px #000 solid;
    padding: 5px;
    margin-top: 1px;
}

ul.menu div.panel a, ul.menu div.panel li a:hover  {
    display :inline;
    color: #666;
    background: none;
    margin: 0;
    padding: 0;
    border: none;
    font-weight: bold;
}
ul.menu div.panel a:hover {
    color: #FF9F00;
    text-decoration: underline;
}
.region iframe {
	margin: 0px;
	padding: 0px;
	height: 100%;
	width: 90%;
	border-top-style: none;
	border-right-style: none;
	border-bottom-style: none;
	border-left-style: none;
}
h2 {
	font-family: "Lucida Console", Monaco, monospace;
	color: #7F3F00;
	font-weight: lighter;
	font-variant: normal;
	border-top-width: thin;
	border-right-width: thin;
	border-bottom-width: thin;
	border-left-width: thin;
	border-bottom-style: solid;
	border-top-color: #7F3F00;
	border-right-color: #7F3F00;
	border-bottom-color: #7F3F00;
	border-left-color: #7F3F00;
}
h3 {
	font-family: "Lucida Console", Monaco, monospace;
	font-weight: lighter;
	color: #7F3F00;
	text-indent: 20px;
}
ul li {
	padding-top: 0px;
	padding-right: 0px;
	padding-bottom: 10px;
	padding-left: 0px;
}
pre {
	font-family: "Courier New", Courier, monospace;
	font-size: 12px;
	margin: 10px;
	padding: 10px;
	background-color: #FFF;
	clear: both;
}

.comment { color: #009900; font-style: italic; }
.pre { color: #000099; }
.string { color: #000099; }
.char { color: #000099; }
.float { color: #996600; }
.int { color: #999900; }
.bool { color: #000000; font-weight: bold; }
.type { color: #FF6633; }
.flow { color: #FF0000; }
.keyword { color: #990000; }
.operator { color: #663300; font-weight: bold; }
.operator { color: #663300; font-weight: bold; }
