html, body {
  font-family: arial;
  font-size: 11pt;
  color: #4D4D4D;
  line-height: 1.7em;
  
  padding: 0px;
  margin: 0px;
  width: 100%;
  height: 100%;
}

body {
  overflow-y: scroll;
}

#container {
  margin: 0 auto;
  width: 900px;
  height: 100%;
}

#menu {
  width: 150px;
  height: 100%;
  float: left;
  position: fixed;
  text-align: right;

  overflow-x: hidden;
  overflow-y: auto;
}

#menu-inner {
  padding: 70px 20px 0px 0px;
}

#contents {
  margin-left: 150px;
  
  padding: 50px 25px;
  
  width: 700px;
  float: left;
}

h2 {
  padding-top: 20px;
  padding-bottom: 10px;
  border-bottom: 1px solid #329f60;
  color: #329f60;
}

a {
  color: #329f60;
  text-decoration: none;
}
a:hover {
  color: #BE1F85;
  text-decoration: underline;
}

/*
ul.nav {
  text-decoration: none;
  text-transform: uppercase;

  margin-bottom: 30px;
  padding-left: 0px;
}
li.nav {
  list-style: none;
}

ul li.nav {
  text-decoration: none;
  text-transform: uppercase;
  font-weight: bold;
  font-size: 11pt;
  color: #F0209B;

  margin-top: 5px;  
}

ul li ul li.nav {
  text-decoration: none;
  text-transform: none;
  font-weight: normal;
  font-size: 11pt;
  color: #4D4D4D;
}
*/

div.nav ul {
  text-decoration: none;
  text-transform: uppercase;

  margin-bottom: 30px;
  padding-left: 0px;
}
li.nav {

}

div.nav ul li {
  text-decoration: none;
  text-transform: uppercase;
  font-weight: bold;
  font-size: 11pt;
  color: #329f60;

  list-style: none;
  margin-top: 5px;  
}

div.nav ul li ul li {
  text-decoration: none;
  text-transform: none;
  font-weight: normal;
  font-size: 11pt;
  color: #4D4D4D;

  list-style: none;
}

a.nav {
  color: #4D4D4D;
}

a.nav:hover {
  color: #BE1F85;
}


table.example {
  border-collapse: collapse;
}

th.example {
  font-weight: normal;
  border: 1px solid lightgray;
  background-color: #E5E5E5;
  text-align: left;
  vertical-align: top;
  padding: 5px;
}
td.example {
  border: 1px solid lightgray;
  padding: 5px;
}


pre {
  line-height: 1.5em;
  font-size: 10pt;
  overflow-x: auto; 
  background-color: #F5F5F5;
  border: 1px solid lightgray;
  padding: 5px;
}

pre.example {
  background-color: transparent;
  border: none;
  padding: 0px;
  margin: 0px;
}


div.lastupdate {
  font-size: 75%;
  margin-top: 40px;
  
  border-top: 1px solid #FACAE6;
  color: #F0209B;  
}