body {
background-image: url( '../../images/20/design/backgroundcd.gif' );
background-position: center;
background-attachment: fixed;
}

a.headline {
text-decoration: none;
color: #646464;
}

div#nav ul {
list-style-type: none;
margin: 0;
padding: 0;
margin-left: 15px;
}

div#nav li {
background-image: url( ../../images/20/nav/bullet.png );
background-repeat: no-repeat;
background-position: 0 -0.1em;
padding-left: 15px;
margin-bottom: 2px;
}

div#nav ul li ul {
list-style-type: none;
margin: 0;
padding: 0;
margin-left: 0px;
}

div#nav ul li ul li {
background-image: url( ../../images/20/nav/bullet.png );
background-repeat: no-repeat;
background-position: 0 -0.1em;
padding-left: 15px;
margin-bottom: 2px;
}

ul, ol, dl {
position: relative;
}

pre {
font-size: 1.5em;
}

div.serial a {
text-decoration: underline;
}