pxmlw6n2f/Gazebo_Distributed/doc/style.css

87 lines
1.2 KiB
CSS

body {
font-family: arial, verdana, sans, sans-serif;
background-color: #FFF;
color:#000;
}
#content {
position: absolute;
left:12em;
top:0em;
padding-left:3em;
padding-right:3em;
padding-bottom:2em;
margin-top:1em;
margin-right:2em;
}
.floatright
{
float: right;
margin: 0 0 1em 1em;
}
.timestamp {
text-align:right;
background-color: #DDD;
font-size:75%;
}
div.leftbar{
position:absolute;
text-align:left;
float: left;
width: 12em;
margin: 5 5 5 5;
padding: 4 4 4 4;
background-color: #DDD;
height: 100%;
}
div.menu {
#display:block;
background:#EEE;
font-size: 90%;
border-top: 2px solid #000000;
border-bottom: 2px solid #000000;
margin: 0 0 10px 0;
}
div.menu dl {
margin-top: 0px;
margin-bottom: 5px;
}
div.menu dt {
font-weight:bold;
padding:0 4px 4px 4px;
font-size: 110%;
text-align: left;
text-decoration:none;
}
div.menu dd {
font-weight: bold;
margin-left: 0px;
padding-left: 20px;
padding-bottom: 2px;
font-size: 100%;
}
div.leftbar img {
border:0;
}
div.submenu dd {
font-size: 70%;
margin-left: 8px;
padding-left: 10px;
padding-bottom: 3px;
}
div.submenu dd .secondline {
margin-left: 12px;
}