html {

}

h1 {
  text-align:center;
}

li {
}

body {
  margin:1em auto;
  max-width:1200px;
}

#appbox, #sponsor {
  clear:both;
  width:300px;
  padding:0.5em 1em;
  border:1px solid green;
  background-color:#bbffbb;
  margin-bottom:1em;
}

a {
  text-decoration: none;
}

a:link {

}

a:visited {

}

a:hover {
  text-decoration: underline;
}

a:active {

}

#namespace > h1 {
  text-align:left;
  margin-left:4em;
  color:blue;
}

#namespace > p {
  margin-left:6em;
}

#struc_toc {
  float:right;
  border:2px ridge gray;
  padding-right:2em;
  margin-right:2em;
}

#struc_toc li {
  font-family: monospace;
}

.attr {
  color:green;
}

.attval {
  color:brown;
}

.elem {
  font-weight:bold;
}

.decl {
  color:purple;
  font-style:italic;
}

.comm {
  color:gray;
  font-style:italic;
}

pre {
  border:1px dashed #aaf;
  background-color:#e0f0ff;
  padding:1em 0.5em;
  clear:both;
}

.spec {
  margin:3em;
}

.spec h2,
.spec h3,
.spec h4,
.spec h5 {
  text-indent:1em;
}

.spec #struc_toc li {
  color:green;
}

li > ul {
  margin-left:-2em;
}

#header,
.article {
  border:1px solid #369;
  margin:0 4em;
}

#header {
  -webkit-border-top-left-radius:2em;
  -webkit-border-top-right-radius:2em;
  -moz-border-radius-topright:2em;
  -moz-border-radius-topleft:2em;
  border-top-left-radius:2em;
  border-top-right-radius:2em;
  background-color:#369;
}

#header > h1 {
  color:white;
}

#header ~ .article,
.article ~ .article {
  margin-top:-1px;
}

.article {
  padding:0 2em;
}


/* Begin CSS Drop Down Menu */

/*** Nav bar styles ***/

ul.navi,
.navi ul{
/*Remove all spacings from the list items*/
  margin: 0;
  padding: 0;
  cursor: default;
  list-style-type: none;
  display: inline;
}

ul.navi {
  display:block;
/*  display: table;*/
/*  table-layout: fixed;*/
/*   width:100%; */
/*   background-color:green; */
}

ul.navi > li{
  display: table-cell;
  position: relative;
  padding: 2px 6px;
}

ul.navi > li:hover{
  /*padding-right: 1px;*/
}

ul.navi li > ul{
  display: none;
  position: absolute;
  max-width: 40ex;
  margin-left: -6px;
  margin-top: 2px;
}

ul.navi li:hover > ul{
  display : block;
}

.navi ul li a{
  display: block;
  padding: 2px 10px;
}

/*** Menu colors (customizable) ***/

ul.navi > li > a {
  font-weight:bold;
  color:#369;
}

ul.navi,
.navi ul,
.navi ul li a{
  background-color: #fff;
  color: #369;
}

ul.navi li:hover > a,
ul.navi li:hover,
.navi a:hover {
  background-color: #369;
  color: #fff;
}

ul.navi li:active > a,
ul.navi li:active,
.navi a:active {
  background-color: #036;
  color: #fff;
}

ul.navi {border-top:1px solid #369;}
.navi ul {
  border: 1px solid #369;
}

.navi a {
  text-decoration: none;
}
/* End CSS Drop Down Menu */