body {
}
.def-number {
    display: block;
    float: left;
    padding-right: 5px;
}
.def-content {
    padding-left: 37px;
}
.dbox-pg {
    color: #666;
    font-size: 20px;
}
.def-inline-example {
    color: #575757;
    font-style: italic;
}
.def-set {
    padding-bottom: 17px;
}
header.main-header .header-extras {
    margin-bottom: 18px;
}