.menu {
}

.menuitem {
font-size: 8pt;
font-weight: bold;
}

.selectedmenuitem {
    list-style-type: none;
color: gray;
}

ul.nobullet {
    list-style-type: none;
}

h1 {
    border: 3px solid #440088;
    background-color: white;
    padding: 10px;
    margin:  5px;
    color: black;
    font-weight: bold;
    font-size: x-large;
    text-align: center;
  }

h2 {
    border-bottom: 1px solid #440088;
    padding: 10px;
    margin:  15px;
    color: #440088;
    font-weight: bold;
    font-size: x-large;
  }

h3 {
    padding: 5px 5px 5px 10px;
    margin:  5px 5px 5px 15px;
    color: #440088;
    font-weight: bold;
    font-size: large;
  }

code { font-style: italic; }

var {
font-weight: bold;
}

kbd {
font-family: monospace;
}

.topbar {
text-align: center;
}

.leftcol {
float: left;
width: 27%;
padding: 0px;
text-align: left;
}

.rightcol {
float: right;
width: 68%;
padding: 0px;
margin:  3px 7px 3px 1px;
text-align: left;
}

.centercol {
float: center;
width: 58%;
padding: 0px;
margin:  3px 7px 3px 1px;
text-align: left;
}

.rightbox {
float: right;
width: 37%;
padding: 0px;
border: 1px solid #440088;
margin:  3px 3px 3px 1px;
text-align: left;
}

.examplebox {
padding: 0px;
border: 1px solid #440088;
margin:  3px 3px 3px 1px;
text-align: left;
}

.infobox {
padding: 0px;
border: 1px solid #440088;
margin:  3px 3px 3px 1px;
text-align: left;
}

.line {
background-color: #440088;
padding: 0px;
height: 1px;
margin:  0px;
} 

.footer {
        font-family: Verdana, Arial, Helvetica, sans-serif;
        font-size: 7pt;
        color: #000000;
        left: 5px;
}