@charset "utf-8";
/* CSS Document */

.floatbox,
.navbox {
overflow: visible;
font-size: 100%;
line-height: 1.25;
margin: 0 0 0.75em 1.5em;
padding: 0.5em 1em;
border: 2px solid #000;
float: right;
clear: right;
}

.floatbox {
color: #000;
background: #f9f9f9;
width: 250px;
}

.navbox {
text-align: left;
color: black;
background: white;
width: 12.5em;
}

.floatbox hr,	/* Used for non-stylesheet-aware browsers */
.navbox hr {
display: none !important;
}

.floatbox p,
.navbox p {
margin: 0.75em 0;
padding: 0;
}

.floatbox ol,
.floatbox ul {
margin: 0.75em 0;
padding: 0 0 0 1.5em;
}

.navbox ol,
.navbox ul {
margin: 0.5em 0;
padding: 0 0 0 1.5em;
}

.floatbox blockquote {
margin: 0.75em 1.5em;
padding: 0;
}

.floatbox pre {
font-size: 95%;
margin: 0.75em 1.5em;
padding: 0;
}

.floatbox dt {
margin: 0.75em 0;
padding: 0;
}

.floatbox dt {
margin: 0.75em 0 0.25em 0;
padding: 0;
}

.floatbox dd {
margin: 0 0 0.75em 1.5em;
padding: 0;
}

#main .floatbox .highlight {
color: inherit;
background: white;
margin: 0.75em 0;
padding: 0.75em 1.5em;
}

#main .floatbox table.simple {
margin: 0.75em 0;
}

#main .floatbox table.simple th,
#main .floatbox table.simple td.highlight,
#main .floatbox table.simple th.highlight {
color: inherit;
background: white;
margin: 0;
padding: 0.25em 0.5em;
}