body
{
    background-color: gray;
    margin-top: 16px;
}
.main {
    background-color: white; 
    padding: 8px 8px 8px 20px; 
    border: 2px solid rgb(0, 0, 0); 
    width: 950px; 
    text-align: left; 
    margin-left: auto; 
    margin-right: auto;
}
dt
{
  font-family: monospace, Trebuchet, Tahoma, sans-serif;
  font-size: 12;
  font-weight: bold;
  margin: 16px 0px 8px 0px;
}
dl
{
  margin: 0px 0px 0px 8px;
}
h4
{
  margin: 22px 0px 6px 0px;
}
pre.code
{
  background-color: #ededf0;
  padding: 1em;
  border: solid 1px #909090;
}
.footer {
        text-align: center;
        font-size: 11;
        padding: 16px 0px 8px 0px;
}
.comment {
        color: #838383;
}
.keyword {
        color: #A52B2B;
        font-weight: bold;
}
}
.keyword3 {
        color: #008B8B;
        font-weight: bold;
}
.char {
        color: #FF3AFF;
}
.number {
        color: #DD0101;
}
.string {
        color: #FF3AFF;
        font-weight: bold;
}
.default {
        font-family: monospace, Trebuchet, Tahoma, sans-serif;
        font-size: 10;
        color: #000000;
        background-color: #FFFFFF;
}