58279a4627
wkhtmltopdf isn't using a fixed-width font for CSS font-family:monospace. Nor is it using one for <PRE> <CODE> or <TT> elements. Add in some Courier fonts for it to use - note that Courier 10 Pitch is installed on Ubuntu by default. Note these fonts need to be installed on the system that generates the pdf documentation. Previously the htmldoc stylesheet was kept in place and the SWIG stylesheet was prepended to it inline in SWIGDocumentation.html. Now the SWIG stylesheet has been amended with most of the htmldoc stylesheet changes and completely replaced after htmldoc is run.
92 lines
1.5 KiB
CSS
92 lines
1.5 KiB
CSS
div.sectiontoc {
|
|
border-style: dotted;
|
|
border-width: 2px;
|
|
padding: 2pt;
|
|
}
|
|
|
|
h2 {
|
|
padding: 3px;
|
|
color: #000000;
|
|
border-bottom: 2px
|
|
solid #dddddd;
|
|
}
|
|
|
|
h3, h4 {
|
|
margin-left: 1em;
|
|
}
|
|
|
|
p,li,table,dl {
|
|
margin-left: 2em;
|
|
margin-right: 2em;
|
|
}
|
|
|
|
div.indent {
|
|
margin-left: 4em;
|
|
margin-right: 4em;
|
|
}
|
|
|
|
div.code {
|
|
border-style: solid;
|
|
border-width: 1px;
|
|
padding: 2pt;
|
|
margin-left: 4em;
|
|
margin-right: 4em;
|
|
background-color: #F0FFFF;
|
|
font-family: "Courier New", Courier, "Courier 10 Pitch", monospace;
|
|
}
|
|
|
|
div.targetlang {
|
|
border-style: solid;
|
|
border-width: 1px;
|
|
padding: 2pt;
|
|
margin-left: 4em;
|
|
margin-right: 4em;
|
|
background-color: #d7f6bb;
|
|
font-family: "Courier New", Courier, "Courier 10 Pitch", monospace;
|
|
}
|
|
|
|
div.shell {
|
|
border-style: solid;
|
|
border-width: 1px;
|
|
padding: 2pt;
|
|
margin-left: 4em;
|
|
margin-right: 4em;
|
|
background-color: #DCDCDC;
|
|
font-family: "Courier New", Courier, "Courier 10 Pitch", monospace;
|
|
}
|
|
|
|
div.diagram {
|
|
border-style: solid;
|
|
border-width: 1px;
|
|
padding: 2pt;
|
|
margin-left: 4em;
|
|
margin-right: 4em;
|
|
background-color: #FFEBCD;
|
|
font-family: "Courier New", Courier, "Courier 10 Pitch", monospace;
|
|
}
|
|
|
|
ul li p {
|
|
margin-left: 0;
|
|
margin-right: 0;
|
|
}
|
|
|
|
ol li p {
|
|
margin-left: 0;
|
|
margin-right: 0;
|
|
}
|
|
|
|
dl dd p {
|
|
margin-left: 0;
|
|
margin-right: 0;
|
|
}
|
|
|
|
div.indent p {
|
|
margin-left: 0;
|
|
margin-right: 0;
|
|
}
|
|
|
|
pre, code, tt {
|
|
font-family: "Courier New", Courier, "Courier 10 Pitch", monospace;
|
|
}
|
|
|
|
body { font-family: serif; }
|