html body p {
  margin-top: 35px;
}
html body code,
html body div.code {
  color: #00ff00;
  white-space: pre;
  background-color: #003300;
  border-radius: 4px;
  padding: 15px;
  font-size: 16px;
}
html body div *.clear {
  clear: both;
}
html body div *.cl {
  clear: left;
}
html body div *.cr {
  clear: right;
}
html body div *.tl {
  text-align: left;
}
html body div *.tr {
  text-align: right;
}
html body div *.tc {
  text-align: center;
}
html body div *.tj {
  text-align: justify;
}
html body div *.centered {
  margin-left: auto;
  margin-right: auto;
}
html body div *.nopad {
  padding: 0px;
}
html body div *.nomargin {
  margin: 0px;
}
html body div *.nounderline,
html body *.nounderline:hover,
html body *.nounderline:active {
  text-decoration: none;
}
html body div *.nocursor {
  cursor: default;
}
html body div *.pc10 {
  width: 10%;
}
html body div *.pc20 {
  width: 20%;
}
html body div *.pc25 {
  width: 25%;
}
html body div *.pc30 {
  width: 30%;
}
html body div *.pc33 {
  width: 33%;
}
html body div *.pc40 {
  width: 40%;
}
html body div *.pc50 {
  width: 50%;
}
html body div *.pc60 {
  width: 60%;
}
html body div *.pc66 {
  width: 66%;
}
html body div *.pc70 {
  width: 70%;
}
html body div *.pc75 {
  width: 75%;
}
html body div *.pc80 {
  width: 80%;
}
html body div *.pc90 {
  width: 90%;
}
html body div *.pc100 {
  width: 100%;
}
html body div *.m0 {
  margin: 0px;
}
html body div *.m5 {
  margin: 5px;
}
html body div *.m10 {
  margin: 10px;
}
html body div *.m15 {
  margin: 15px;
}
html body div *.m20 {
  margin: 20px;
}
html body div *.m25 {
  margin: 25px;
}
html body div *.m30 {
  margin: 30px;
}
html body div *.m35 {
  margin: 35px;
}
html body div *.m40 {
  margin: 40px;
}
html body div *.m45 {
  margin: 45px;
}
html body div *.m50 {
  margin: 50px;
}
html body div *.ml0 {
  margin-left: 0px;
}
html body div *.ml5 {
  margin-left: 5px;
}
html body div *.ml10 {
  margin-left: 10px;
}
html body div *.ml15 {
  margin-left: 15px;
}
html body div *.ml20 {
  margin-left: 20px;
}
html body div *.ml25 {
  margin-left: 25px;
}
html body div *.ml30 {
  margin-left: 30px;
}
html body div *.ml35 {
  margin-left: 35px;
}
html body div *.ml40 {
  margin-left: 40px;
}
html body div *.ml45 {
  margin-left: 45px;
}
html body div *.ml50 {
  margin-left: 50px;
}
html body div *.mr0 {
  margin-right: 0px;
}
html body div *.mr5 {
  margin-right: 5px;
}
html body div *.mr10 {
  margin-right: 10px;
}
html body div *.mr15 {
  margin-right: 15px;
}
html body div *.mr20 {
  margin-right: 20px;
}
html body div *.mr25 {
  margin-right: 25px;
}
html body div *.mr30 {
  margin-right: 30px;
}
html body div *.mr35 {
  margin-right: 35px;
}
html body div *.mr40 {
  margin-right: 40px;
}
html body div *.mr45 {
  margin-right: 45px;
}
html body div *.mr50 {
  margin-right: 50px;
}
html body div *.mt0 {
  margin-top: 0px;
}
html body div *.mt5 {
  margin-top: 5px;
}
html body div *.mt10 {
  margin-top: 10px;
}
html body div *.mt15 {
  margin-top: 15px;
}
html body div *.mt20 {
  margin-top: 20px;
}
html body div *.mt25 {
  margin-top: 25px;
}
html body div *.mt30 {
  margin-top: 30px;
}
html body div *.mt35 {
  margin-top: 35px;
}
html body div *.mt40 {
  margin-top: 40px;
}
html body div *.mt45 {
  margin-top: 45px;
}
html body div *.mt50 {
  margin-top: 50px;
}
html body div *.mb0 {
  margin-bottom: 0px;
}
html body div *.mb5 {
  margin-bottom: 5px;
}
html body div *.mb10 {
  margin-bottom: 10px;
}
html body div *.mb15 {
  margin-bottom: 15px;
}
html body div *.mb20 {
  margin-bottom: 20px;
}
html body div *.mb25 {
  margin-bottom: 25px;
}
html body div *.mb30 {
  margin-bottom: 30px;
}
html body div *.mb35 {
  margin-bottom: 35px;
}
html body div *.mb40 {
  margin-bottom: 40px;
}
html body div *.mb45 {
  margin-bottom: 45px;
}
html body div *.mb50 {
  margin-bottom: 50px;
}
html body div *.p0 {
  padding: 0px;
}
html body div *.p5 {
  padding: 5px;
}
html body div *.p10 {
  padding: 10px;
}
html body div *.p15 {
  padding: 15px;
}
html body div *.p20 {
  padding: 20px;
}
html body div *.p25 {
  padding: 25px;
}
html body div *.p30 {
  padding: 30px;
}
html body div *.p35 {
  padding: 35px;
}
html body div *.p40 {
  padding: 40px;
}
html body div *.p45 {
  padding: 45px;
}
html body div *.p50 {
  padding: 50px;
}
html body div *.pl0 {
  padding-left: 0px;
}
html body div *.pl5 {
  padding-left: 5px;
}
html body div *.pl10 {
  padding-left: 10px;
}
html body div *.pl15 {
  padding-left: 15px;
}
html body div *.pl20 {
  padding-left: 20px;
}
html body div *.pl25 {
  padding-left: 25px;
}
html body div *.pl30 {
  padding-left: 30px;
}
html body div *.pl35 {
  padding-left: 35px;
}
html body div *.pl40 {
  padding-left: 40px;
}
html body div *.pl45 {
  padding-left: 45px;
}
html body div *.pl50 {
  padding-left: 50px;
}
html body div *.pr0 {
  padding-right: 0px;
}
html body div *.pr5 {
  padding-right: 5px;
}
html body div *.pr10 {
  padding-right: 10px;
}
html body div *.pr15 {
  padding-right: 15px;
}
html body div *.pr20 {
  padding-right: 20px;
}
html body div *.pr25 {
  padding-right: 25px;
}
html body div *.pr30 {
  padding-right: 30px;
}
html body div *.pr35 {
  padding-right: 35px;
}
html body div *.pr40 {
  padding-right: 40px;
}
html body div *.pr45 {
  padding-right: 45px;
}
html body div *.pr50 {
  padding-right: 50px;
}
html body div *.pt0 {
  padding-top: 0px;
}
html body div *.pt5 {
  padding-top: 5px;
}
html body div *.pt10 {
  padding-top: 10px;
}
html body div *.pt15 {
  padding-top: 15px;
}
html body div *.pt20 {
  padding-top: 20px;
}
html body div *.pt25 {
  padding-top: 25px;
}
html body div *.pt30 {
  padding-top: 30px;
}
html body div *.pt35 {
  padding-top: 35px;
}
html body div *.pt40 {
  padding-top: 40px;
}
html body div *.pt45 {
  padding-top: 45px;
}
html body div *.pt50 {
  padding-top: 50px;
}
html body div *.pb0 {
  padding-bottom: 0px;
}
html body div *.pb5 {
  padding-bottom: 5px;
}
html body div *.pb10 {
  padding-bottom: 10px;
}
html body div *.pb15 {
  padding-bottom: 15px;
}
html body div *.pb20 {
  padding-bottom: 20px;
}
html body div *.pb25 {
  padding-bottom: 25px;
}
html body div *.pb30 {
  padding-bottom: 30px;
}
html body div *.pb35 {
  padding-bottom: 35px;
}
html body div *.pb40 {
  padding-bottom: 40px;
}
html body div *.pb45 {
  padding-bottom: 45px;
}
html body div *.pb50 {
  padding-bottom: 50px;
}