dl {margin-top:.5em;}
dd {margin-bottom:.5em;}
h2 {color:black; font-size:larger; font-weight:bold;}
li {margin-bottom:.5em;}
li.menu_list {list-style-type:none;}
ol {margin-top:.5em;}
pre {background-color:#dddddd;  border:solid black 1px; line-height:125%; padding:5px;}
ul {margin-top:.5em;}
ul.menu_list {margin-left:0; padding-left:0;}
.infobox {background-color:#dddddd;  border:solid black 1px; line-height:125%; padding:5px;}