1
dt {
2
font-weight: bold;
3
margin: 0.5em;
4
}
5
div.toc {
6
background-color: #ddeeff;
7
border-style: solid;
8
border-width: 2px;
9
border-color: #808080;
10
margin: 0.3em;
11