docs: use stylesheet from fpc in an attempt to avoid double lines

git-svn-id: trunk@32727 -
This commit is contained in:
vincents 2011-10-07 07:47:29 +00:00
parent ae0edb7828
commit 2333a0cfbe

View File

@ -53,6 +53,11 @@ h3, td.h3 {
font-size: 12pt font-size: 12pt
} }
/* source fragments */
span.code {
white-space: nowrap
}
/* symbols in source fragments */ /* symbols in source fragments */
span.sym { span.sym {
color: darkred color: darkred
@ -128,6 +133,11 @@ span.bartitle {
color: darkblue color: darkblue
} }
span.footer {
font-style: italic;
color: darkblue
}
/* definition list */ /* definition list */
dl { dl {
border: 3px double #ccc; border: 3px double #ccc;
@ -150,4 +160,7 @@ dd {
padding: 0 0 0.5em 0; padding: 0 0 0.5em 0;
} }
/* for browsers in standards compliance mode */
td p {
margin: 0;
}