Css for Manual
#container-wrap {
    width: 600px;
    margin: 0 auto; /* to center the content */
}
#header { display: none; }
#header h1 a span { display: none; }
#header h2 { display: none; }
#top-bar { display: none; }
#side-bar { display: none; }
#page-title { display: none; }
#login-status { visibility: hidden; }
#search-top-box { visibility: hidden; }
 
#main-content {
    width: 600px;
    padding: 0;
    margin: 0;
}
#page-content { /* pushes the page options to the bottom of the screen */
    min-height: 350px;
}
 
h1 { font-weight: bold; font-size: 200%; }
h2 { font-weight: bold; font-size: 160%; }
h3 { font-weight: bold; font-size: 120%; margin:0; }
h4 { font-weight: bold; font-size: 100%; margin:0; }
 
sup {
    vertical-align: top;
}
 
sub {
    vertical-align: bottom;
}
 
#page-info {
    display: none;
}
 
div.page-tags {
    padding-top: 2em;
}
 
#footer {
    width: 600px;
    padding: 0;
    margin: 0;
    margin-top: 15px;
    font-size: 75%;
    color: #777;
}
 
#toc {
    background-color: transparent;
    border-style: none;
}
 
blockquote {
    background-color: transparent;
    margin: 0;
    padding: 0 1em;
    width: 95%;
}
 
div.code {
    margin: 0;
    font-size: 11px;
    width: 95%;
}
 
.synopsis {
    margin: 0;
    border: 2px dotted darkgrey;
    padding: 0 1em;
    width: 95%;
}
 
ul {
    list-style-type: disc;
}
 
dl {
    margin-top: 0em;
    margin-bottom: 1em;
}
dt {
    font-weight: bold;
    margin-left: 1em;
}
dd {
    margin-top: 0.25em;
    margin-bottom: 1em;
}
 
a {
    text-decoration: none;
    color: #A02020;
}
 
a:hover {
    text-decoration: none;
    color: #CC0000;
}
 
a.newpage {
    text-decoration: none;
    color: #CC0000;
}