/* text.css */


/* general rules */
body {
  padding: 0;
}
h1, h2, h3, h4, h5, h6 {
  margin-top: 5px;
  margin-bottom: 8px;
}
img {
  border: 0;
}
#side img {
  display: none;
}

/* container */
#wrapper {
  margin: 0 auto;
  padding: 10px 0 0 0; /* wrapper = pagetop - use padding-top here! */
  text-align: left;
  width: 96%;
}
#subheader {
  text-align: right;
}
#content {
  margin: 0;
  padding: 0 5px;
  border-top: 1px solid #336633;
}
#side {
  margin: 0;
  padding: 0;
  border-top: 1px solid #336633;
}
#footer {
  margin: 0;
  padding: 0;
  border-top: 1px solid #336633;
}


/* navigation */
#mainmenu {
  margin: 10px 0 10px 0;
  padding: 5px 0 5px 0;
  border-top: 1px solid #336633;
  height: 15px;
}
#mainmenu ul {
  margin: 0;
  padding: 0;
  border: 0;
  list-style-type: none;
  clear: left;
}
#mainmenu ul li {
  display: block;
  margin: 0;
  padding: 0;
  float: left;
}
#mainmenu ul li a {
  margin: 0;
  padding: 0 5px 0 5px;
  color: #336633;
  text-decoration: underline;
  display: block;
  line-height: 120%;
}
#mainmenu ul li a:hover {
  color: #666;
  text-decoration: none;
}
#mainmenu a:active {
  color: #333;
}

#menu {
  margin: 0;
  padding: 0;
}
#menu ul {
  margin: 0 0 0 20px;
  padding: 0;
  list-style-type: none;
}
#menu ul li a {
  padding: 0 2px 0 2px;
}
#menu ul li a.on {
  color: #333;
  text-decoration: none;
  font-style: italic;
}

#addmenu {
  margin: 0;
  padding: 0;
}
#addmenu ul {
  margin: 0 0 0 20px;
  padding: 0;
  list-style-type: none;
}
#addmenu li {
  margin: 0;
  padding: 0;
}
#addmenu li.txt {
  margin: 7px 0 2px -5px;
}
#addmenu ul li a {
  padding: 0;
  margin: 0;
}
#addmenu ul li a:hover {
  color: #666;
}
#addmenu ul li a.on {
  color: #333;
  text-decoration: none;
}


/* special rules */
#content h1 {
  font-size: medium;
}
#content h2 {
  font-size: medium;
}

body.section .nochapter {
  display: none;
}
#page.topic .notopic {
  display: none;
}

#header p {
  font-size: small;
  color: #666;
}
#subheader p, #page p {
  margin-left: 5px;
}
#content p {
  margin-left: 0;
}
#content p.small {
font-size: xx-small;
}

#side h1, #side h2, #side h3 {
  margin-left: 5px;
}
#side p {
  margin-left: 5px;
}

#content p.ref {
margin-top: 0;
margin-right: 0;
margin-bottom: 1em;
margin-left: 10px;
padding: 0;
}


#content .codes {
background : #efefef;
border: 1px solid #aaa;
margin: 0 0 10px 0;
padding: 0;
font-size: 11px;
}

.hidetxt {
display: none;
}
.hideold {
display: inline;
}
.simple {
display: none;
}
.showtxt {
display: inline;
}