html,body{
    margin:6pt;
    font-family:Verdana;
    -webkit-text-size-adjust:100%;
    -ms-text-size-adjust:100%;
    background-color: #FFF8D8;
    font: 14px/24px Roboto, sans-serif;
}

img {
    border-style: none;
    vertical-align: middle;
}

hr {
     height: 12px; 
     border: 0; 
     box-shadow: inset 0 12px 12px -12px rgba(0, 0, 0, 0.5);
}

td {
    border-width:1px;
    border-style:solid; 
    text-align:center;
    padding:3pt;
    font-size:90%;
}

h1 {
    color:#990000;
    font-family: monospace; 
    font-size: 180%;
    line-height: 56px;
}

h2 {
    font-size: 140%;
}

h3 {
    font-size: 110%;
}

a{
    text-decoration:none;
    color:#2222BB;
    font-weight: normal;
}

p{
    padding-left: 10pt;
}

tt{
    color:#990000;
    font-size: 100%;
}

pre, code {
    font: 13px/18px Consolas, "Liberation Mono", Menlo, Courier, monospace;
    -webkit-font-smoothing: subpixel-antialiased;
    -moz-osx-font-smoothing: auto;
}

ul{
    margin-top:10px;
    margin-left:0px;
    list-style-type: none;
}
ol{
    margin-top:10px;
    margin-left:0px;
}
iframe{
    margin:0px;
    padding:0px;
}

.minihr {
    align: left;
    height: 2px;
    width: 300px;
    border: 0; 
    box-shadow: inset 0 2px 2px -2px rgba(0, 0, 0, 0.5);
}

.code { color:#990000; font-family: monospace; font-size: 120%; }

.algomob {padding-left:0pt; color:#990000; font-family: monospace; font-size: 180%; }

.caption { font-size: 85%; text-width=400px; line-height: 15px; margin-top: 5px;font-style: italic;}

div.code {
    margin-left: 15px;
    overflow: auto;
}

#sum{
    margin-right: 20px;
    margin-left: 20px;
    padding: 5pt;
    border-style: solid;
    border-width: 1.2pt;
    border-color: #996666;
}
#left{
    float: top;
    left: 20px;
    margin-left: 40px;
    margin-right: 390px;
}

div.right{
    position: absolute;
    top: 290px;
    right: 25px;
    padding:5px;
    border:2px solid;
    border-color:gray;
    border-radius:5px;
}
div.sf{
    position: fixed;
    bottom: 15px;
    right: 20px;
}
div.center{
    text-align: center;
}
.framed{
    border:2px solid;
    border-color:gray;
    border-radius:5px;
}

.navbar-default .navbar-nav > li > a:hover, .navbar-default .navbar-nav > li > a:focus {
    color: #000;  /*Sets the text hover color on navbar*/
}

.navbar-default .navbar-nav > .active > a, .navbar-default .navbar-nav > .active >
a:hover, .navbar-default .navbar-nav > .active > a:focus {
    background-color: #EEE3B3;
}

.navbar-default {
    background-color: #EEE3B3;
    border-color: #AAAAAA;
    border-radius:5px;
}

.dropdown-menu > li > a:hover,
.dropdown-menu > li > a:focus {
    background-color: #EEE3B3;  /*change color of links in drop down here*/
}