div.indent {
   padding: 0px 0px 0px 30px;
}
div.indents {
   padding: 0px 0px 0px 10px;
}
div.indentnoskip {
   padding: 0px 0px 0px 30px;
   margin: 0px 0px 0px 0px;
}
div.simplebox {
   display: inline-block;
   border-width: 4px;
   padding: 5px;
   border-style: solid;
   border-color: #D0D0D0;
   background-color: white;
}
div.thinbox {
   display: inline-block;
   border-width: 2px;
   padding: 5px;
   border-style: solid;
   border-color: #D0D0D0;
   background-color: white;
}
div.examplebox {
   border-width: 0px 0px 0px 2px;
   margin: 0px 0px 0px 20px;
   padding: 0px;
   border-style: solid;
   border-color: black;
   background-color: white;
}
div.figurebox {
   display: inline-block;
   border-width: 4px;
   padding: 4px;
   margin: 0px 0px 0px 40px;
   border-style: solid;
   border-color: #D0D0D0;
   background-color: white;
   *display:inline;
   zoom:1;
}
div.smallskip {
   height: 8px;
}
ul.noskip {
   margin: 0px 0px 0px 0px;
}
ol.noskip {
   margin: 0px 0px 0px 0px;
}
ol.noskipa {
   margin: 0px 0px 0px 0px;
   list-style-type: lower-alpha;
}
pre.noskip {
   margin: 0px 0px 0px 0px;
}
h3.noskip {
   margin: 20px 0px 0px 0px;
}
h4.noskip {
   margin: 20px 0px 0px 0px;
}
pre.simplebox {
   display: inline-block;
   margin: 0px 0px 0px 40px;
   border-width: 4px;
   padding: 4px;
   border-style: solid;
   border-color: #D0D0D0;
   background-color: white;
}
div.headingright {
   position: absolute;
   right: 0px;
}
div.headingleft {
   position: absolute;
   left: 0px;
}
div.headingcenter {
   margin-left:auto;
   margin-right:auto;
   text-align:center;
   width:85%;
   color: red;
   font-size:xx-large;
   font-weight:bold;
}
td.centerred {
   text-align: center;
   color: red;
}