div.section {
    padding-top: 20px;
    padding-bottom: 20px;
}
div.subsec {
    padding-top: 10px;
    padding-bottom; 10px;
    padding-left: 20px;
}
div.subsubsec {
    padding-top: 5px;
    padding-bottom: 5px;
    padding-left: 40px;
}
span.secname {
    font-weight: bold;
}
.secnum {
    font-weight: bold;
}
.subnum {
    font-weight: bold;
}
.subsubnum {
    font-weight: bold;
}