body {
font-size: 10pt;
text-align: left;
line-height: 130%;
}

div.topbar {
margin-top: 0px;
margin-bottom:5px;
}

div.navbar {
margin-top: 5px;
margin-bottom:20px;
}

div.tab {
margin-top: 5px;
margin-bottom: 5px;
}

h1 {
margin-top: 20px;
margin-left: 10px;
margin-bottom:5px;
border-bottom: 1px solid #ccbbff;
text-align: left;
font-size: 12pt;
font-weight: bold;
}

h2 {
margin-top: 10px;
margin-left: 10px;
margin-bottom:5px;
text-align: left;
font-size: 12pt;
font-weight: bold;
}

a.enabled {
padding : 2px;
font-weight: bold;
color : #000000;
text-decoration: none;
background-color : #eedddd;
}

a.disabled {
padding : 2px;
font-weight: normal;
color : #000000;
text-decoration: none;
background-color : transparent;
}

p {
margin-top: 5px;
margin-left: 10px;
margin-bottom:5px;
}
ul {
margin-top: 5px;
margin-bottom:5px;
}