body {
    text-align: center;
}

span.verb {
    font-family: monospace;
}

img.center {
    display: block;
    margin-left: auto;
    margin-right: auto;
}

img.floatRight {
    float: right;
   padding-left: 10px;
}

div.container {
    text-align: left; 
    margin-left: auto;
    margin-right: auto;
    width: 700px;
}

span.menu_parent {
    font-weight: bold;
}

div.menu_child {
    background-color: white;
    padding: 5px;
    border-style: solid;
    border-width: 2px;
}

img {
    border: 0px;
}

div.code {
    border: solid 1px orange;
    padding-left: 15px;
    padding-right: 10px;
}

.number {
    color: #0080C0;
    font-weight: normal;
    font-style: normal;
}
.operator {
    color: #000000;
    font-weight: normal;
    font-style: normal;
}
.string {
    color: #008000;
    font-weight: normal;
    font-style: normal;
}
.comment {
    color: #808080;
    font-weight: normal;
    font-style: italic;
}
.name {
    color: #000000;
    font-style: normal;
    font-weight: normal;
}
.error {
    color: #FF8080;
    border: solid 1.5pt #FF0000;
}
.keyword {
    color: #0000FF;
    font-weight: bold;
    font-style: normal;
}
.type {
    color: #0000ff;
    font-weight: normal;
    font-style: normal;
}
.specialchar {
    color: #C42DA8;
    font-weight: normal;
    font-style: normal;
}
.preproc {
    color: #0000FF;
    font-weight: bold;
    font-style: normal;
}
.symbol {
    color: #000000;
    font-weight: normal;
    font-style: normal;
}
.function {
    color: #000000;
    font-weight: bold;
    font-style: normal;
}
.cbracket {
    color: #000000;
    font-weight: normal;
    font-style: normal;
}
.text {
    color: #000000;
}