@media print {
    #table-of-contents {
	display: none;
    }
}

#table-of-contents ul {
    list-style: square;
}

#table-of-contents .h1 {
    list-style: disc;
}

#table-of-contents .h2 {
    list-style:   circle;
    padding-left: 1.2em;
}

#table-of-contents .h3 {
    padding-left: 2.4em;
}

#table-of-contents .h4 {
    padding-left: 4.0em; /* 3.6 / 0.9 */
    font-size:    0.9em;
}