+ <style type="text/css">
+ .navigation { background-color: #e8ffe8;
+ padding: 2; border: #c0ffc0 1px solid;
+ text-align: center;
+ font-weight: bold;
+ font-family: avantgarde, sans-serif;
+ font-size: 110%; }
+ a.title { font-weight: bold; font-size: 110%; }
+ ul { margin-left: 1em; padding: 0pt; border: 0pt; }
+ ul li { margin-top: 0.2em; }
+ td.left-column { padding-right: 1em; }
+ td.right-column { padding-left: 1em; }
+ hr { border:0; height:1; color: #000000; background-color: #000000; }
+ </style>