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 }