html {
   overflow-y: scroll;
}

body {
   margin: 0 60px;
   padding: 0;
   background-color: #EEE;
}

div#body {
   margin: 0 0 10px 0;
   padding: 5px 20px 10px 20px;
   background-color: #FFFFFF;
}

/* header */
div#header {
   padding-left: 10px;
   background-color: #FFFFFF;
}

div#header h1 {
   margin: 0;
   padding: 10px;
}

/* footer */
div#footer {
   margin-top: 50px;
   padding: 5px 20px;
   border-top: 2px solid #CCCCCC;
   text-align: right;
   color: #666666;
   font-size: small;
   font-style: italic;
}

div#footer hr {
   display: none;
}

/* navigate bar */

div#navigater {
   padding-left: 10px;
   text-align: right;
   border: 1px solid #CCCCCC;
   background: url(images/navline.jpg) repeat-x bottom;
}

div#navigater ul {
   padding: 0 10px 0 0;
   margin: 5px;
   list-style-type: none;
}

div#navigater li {
   display: inline;
   background: url(images/bar.gif) repeat-y left;
}

div#navigater li a {
   padding: 3px 10px;
   margin: 0px;
   margin-left: 0.5em;
   text-decoration: none;
   color: #3333EE;
}

div#navigater li a:hover {
   text-decoration: underline;
}

div#navigater li.sel a {
   color: #EE3333;
   font-weight: bold;
}

/* contents */
#contents {
   padding: 0 5px;
}

#contents h2 {
   padding: 10px;
   margin: 20px 5px;
   background-color: #EEEEEE;
}

#contents h3 {
   background: url(images/h3.jpg) repeat-y top left;
   padding: 10px 0 10px 10px;
   border-width: 2px 0 0 2px;
   border-style: solid;
   border-color: #EEEEEE;
}

#contents h3 a {
   color: #000000;
   text-decoration: none;
   display: block;
}

#contents p {
   margin: 5px 20px 10px 20px;
   text-indent: 0.5em;
}

#contents ul {
   margin: 10px;
}

dl {
   margin-left: 5px;
}

dl dt {
   margin-top : 5px;
   margin-left: 10px;
   padding-left: 6px;
   border-left: 4px solid #404040;
}

dd {
   margin-top: 2px;
   margin-bottom: 4px;
}

dd a {
   text-decoration: none;
}

dd a:hover {
   text-decoration: underline;
}

dl.corrigenda dd.false {
   color: red;
}

dl.corrigenda dd.true {
   color: blue;
}

dl.corrigenda span.title {
   font-weight: bold;
   margin-right: 5px;
}