.kw {
    color: #800080;
}
.nu {
    color: #dda500;
}
.sym {
    color: #0033aa;
}
a span.sym {
    font-weight: bold;
}
.str {
    color: #dd2200;
}
.ty {
    color: #347C17;
}
.binding {
    background-color: #ddd;
}
pre a {
    text-decoration: none;
}
header {
    background-color: #646D7E;
    border-bottom: 1px thin #000;
    padding: 20px 20px 20px 20px;
}
header a {
    color: #88aaff;
}
body {
    margin: 0;
    padding: 0;
}
section {
    margin-left: 50px;
}
#buttonToggleBody {
    border: 1px thin #000;
    background-color: #eee;
    color: #000;
    padding: 5px 5px 5px 5px
}

.kw {
    color: #800080;
}
.nu {
    color: #dda500;
}
.sym {
    color: #0033aa;
}
a span.sym {
    font-weight: bold;
}
.str {
    color: #dd2200;
}
.ty {
    color: #347C17;
}
.binding {
    background-color: #ddd;
}
pre a {
    text-decoration: none;
}
header {
    background-color: #646D7E;
    border-bottom: 1px thin #000;
    padding: 20px 20px 20px 20px;
}
header a {
    color: #88aaff;
}
pre.header {
    margin:       0.5em 0 0 0;
    padding-top:  3px;
    padding-left: 3px;
}
pre.body {
    margin:         0;
    padding-left:   3px;
    padding-bottom: 3px;
}
body {
    margin: 0;
    padding: 0;
}
section {
    margin-left: 50px;
}
#buttonToggleBody {
    border: 1px thin #000;
    background-color: #eee;
    color: #000;
    padding: 5px 5px 5px 5px
}

Adjust margin and padding in CSS
Adjust margin and padding in CSS

 * Remove ugly gap between binding and body

 * Add small padding above and to the left of text to improve
   readability
