a {
text-decoration: none;
}

a:hover {
color: red;
}

ol {
margin: 0px;
}

ul {
margin: 0px;
}

h1 {
color: red;
margin: 0px;
}

h2 {
color: #F00000;
margin: 0px;
margin-bottom: 5px;
}

h3 {
color: #8080FF;
margin: 0px;
}

h4 {
font-size: 11pt;
color: #0000A0;
margin: 0px;
}

pre {
border : 1px solid orange;
background: #fffff4;
padding: 5px;
margin: 0px;
font-size: 8pt;
color: #000000;
}

code {
font-family: Consolas,Monaco,"Courier New",Courier,monospace;
}

.box {
border: 1px solid #808080;
padding-left: 2px;
padding-right: 2px;
background: white;
}

.example {
border: 1px solid blue;
padding-left: 5px;
padding-right: 5px;
background: white;
margin-left: 3px;
margin-right: 3px;
}

.iframe {
border: 0px;
width: 100%;
border: 1px solid blue;
background: #f8f8ff;
overflow:auto;
height: 165px;
}

#Refs {
margin-top: 10px;
}

/* Formatting tags */
.abAB { color: #FF0000; }      /* Angled Brackets   */
.abBL { color: #0000FF; }      /* Blue              */
.abCB { color: #E040E0; }      /* Curly Brackets    */
.abGN { color: #008000; }      /* Green              */
.abIA { color: #A00000; }      /* Inside AngBkts    */
.abIC { color: #0000E0; }      /* Inside Curly-Bkts */
.abIQ { color: #009000; }      /* Inside Quotes     */
.abKW { color: #F00000; }      /* KeyWord           */