.codebox {
    background: #ffffff;
    overflow:auto;
    width:auto;
    border:solid gray;
    border-width: .1em .1em .1em .8em;
    padding: .2em .6em;
    margin-left: 10px;
}

.codebox pre {
    margin: 0;
    line-height: 125%;
    font-weight: normal;
    color: #333333;
}

.bold {
    font-weight: bold;
}

.red {
    color: #990000;
}

.blue {
    color: #000066;
}

.green {
    color: #336633;
}

.yellow {
    color: #cccc00;
}

.purple {
    color: #9933cc;
}

.black {
   color: #000000;
}