docs/website/src/default.css
#body {
margin-left: 250px;
margin-right: 20px;
padding: 10px;
}
#menu {
float: left;
width: 230px;
padding: 20px 0px 0px 2px;
}
/* styling the menu */
#menu a, #menu span {
text-decoration: none;
font-weight: bold;
font-size: 130%;
}
#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.0em 0px;
padding: 2px 0px;
padding-left: 5px;
border-left: 3px solid #CCCCCC;
}