background-color: #f9f9f9;
padding: 5px;
}
-.tocindent {
- margin-left: 2em;
-}
-.tocline {
- margin-bottom: 0;
-}
/* images */
div.floatright {
font-weight: bold;
}
-p, .documentDescription {
- margin: 1em 0 !important;
+p {
+ margin: 1em 0;
line-height: 1.2em;
}
-.tocindent p {
- margin: 0 0 0 0 !important;
-}
-
pre {
border: 1pt dashed black;
white-space: pre;
.catlinks li:first-child {
padding-left: .2em;
border-left: none;
-}
\ No newline at end of file
+}