BODY {
    font-family: Verdana, Tahoma, Arial, Sans-serif;
    font-size: 12px;
max-width: 800px;
}
 
A:visited {
color: navy;
  }
.comm {
color: purple;
}
.doc {
color: green;
}
.prompt {
color: blue;
}
.in {
color: #553311;
}
.out {
    font-weight; bold;
color: black;
}
.result {
color: black;
}
.tabcomplete {
color: gray;
}
.example {
    font-size: 9pt;
background: white;
color: black;
padding: 15px 15px 15px 15px;
}

.header {
    border-style: dotted;
    border-color: black;
    border-width: 1px 1px 1px 1px;
padding: 10px 10px 10px 10px;
}