body {
	margin: 0;
	background: #fff;
}
#all {
    background-color: #CCCCCC; 
}
#header {
    margin: 0px;
    padding: 0px;
}
#header h1 {
    /* border-bottom: 2px solid #003366; */
    padding-top: 3px;
    padding-left: 7px;
    margin: 0px;
    padding: 0px;
}
#headerbar {
    margin: 0px;
    padding: 2px;
    border-bottom: 1px solid black;
    border-top: 1px solid black;
}
#footer {
    border-top: 1px solid black;
}
#body {
    margin-left: 200px;
}
#body a {
    text-decoration: none;
}

#body a:hover {
    text-decoration: underline;
}

#body h2 {
    border-bottom-width: 1px;
    border-left-width: 0.5em;
    border-bottom-color: #003366;
    border-left-color: #003366;
    border-bottom-style: solid;
    border-left-style: solid;
    font-size: 120%;
    font-weight: bold;
    padding-left: 10px;
    padding-top: 1px;
    padding-bottom: 1px;
}
#body h3 {
    font-size: 110%;
    border-bottom-width: 1px;
    border-bottom-color: #003366;
    border-bottom-style: solid;
}

#menu {
    float: left;
    width: 180px;
    padding: 20px 0px 0px 2px;
    font-size: 100%;
}

.bar {
    clear: both;
    padding: 3px;
    text-align: center;
    font-size: 90%;
    background-color: #e5ecf9;
}

.bar a {
    text-decoration: none;
}
.bar a:hover {
    text-decoration: underline;
}

.left, .right {
    padding: 0px 1em;
}

.left {
    float: left;
    text-align: left;
}

.right {
    float: right;
    text-align: right;
}

/* styling the menu */

#menu a {
    text-decoration: none;
}

#menu a:hover {
    text-decoration: underline;
}

#menu .webgen-menu-item-selected {
    border-left: 3px solid black;
}

#menu ul {
    list-style-type: none;
    padding: 0px;
    margin-left: 10px;
}

#menu li > ul {
    font-size: 95%;
}

#menu li {
    margin: 0;
/*
    padding: 2px 0px;
    padding-left: 5px;
*/
    border-left: 3px solid #CCCCCC;
}

pre {
    border-right: #646464 1px solid;
    padding-right: 0.5em;
    border-top: #646464 1px solid;
    padding-top: 0.5em;
    border-left: #646464 1px solid;
    padding-left: 0.5em;
    border-bottom: #646464 1px solid;
    padding-bottom: 0.5em;
    white-space: pre;
    background-color: #e6e6e6;
    color: black;
    overflow: auto;
}