wkhtmltopdf export configuration (from http://forum.eastgate.com/t/create-beautiful-pdfs-from-your-tinderbox-documents/1068/7)

command.sh

sed -E 's:href=\"help[^\.]*\/([^\.]+)\.html\":href=\"#x\1\":g' print-export-source.html > print-export-source-proc.html

wkhtmltopdf --page-size "Letter" --dpi 765 --footer-spacing 4 --print-media-type --footer-center "[page] of [topage]" --footer-font-name "Helvetica Neue" --footer-font-size 11 --footer-line --footer-spacing 5 --header-spacing 5 --header-line --header-center "Tinderbox v7 Manual" --header-font-name "Helvetica Neue" --enable-toc-back-links toc --toc-header-text "Tinderbox v7 Manual - Table of Contents" --toc-text-size-shrink 1 --toc-level-indentation 4em "print-export-source-proc.html" "Tinderbox v7 Manual v7–2-0.pdf"

# N.B. extra --dpi 765 arg only needed for v0.12.4

manual.css

#manual {
    margin-top: 2px;
    margin-right: 15px;
    margin-left: 15px;
    background-color: #fff;
    color: #333;
    font-size: 12px;
    line-height: 16px;
    min-width: 560px;
    text-align: left;
    font-family: ,"HelveticaNeue", "Helvetica Neue",Helvetica,sans-serif;
}
 
a:link,a:visited {
    color: #339;
}
 
p,div,li {
    margin-top: 4px;
    margin-bottom: 4px;
}
 
.image {
    margin: 20px 0px;
}
 
td {
    font-size: 10pt;
}
 
#main h1,#main h2,#main h3 {
}
 
h2 {
margin-top: 0;
margin-bottom: 0;
font-size: 14px;
}
 
h3 {
    background-color: #eee;
    font-size: 12px;
    padding: 4px 12px;
    color: #666;
}
 
.proc {
    border: 2px solid #d7d7d7;
    padding: 12px;
    -webkit-border-radius: 12px;
    -moz-border-radius: 12px;
}
 
code {
    color:#800000;
    font-family: "American Typewriter","Courier New",sans-serif;
}
 
#footer {
    text-align: center;
    border-top: 1px solid black;
}
 
#footer .logo {
}

print.css

body {
    margin-top: 10mm;
    margin-right: 10mm;
    margin-bottom: 10mm;
    margin-left: 10mm;
    width:98%;
    font-family: "HelveticaNeue", "Helvetica Neue", sans-serif;
}
 
pre, code {
    font-family: "American Typewriter", "Courier New", monospace;
}
 
h1 {
    page-break-before: always;
}
 
h2 {
    page-break-after: avoid;
}
 
h3 {
    page-break-after: avoid;
}
 
h4, h5, h6 {
    page-break-after: avoid;
}
 
table tr, ul, ol, .proc, #x34 {
    page-break-inside: avoid;
}
 
.doIt {
    display:none;
}

screen.css

body{
    font-family:Georgia,-apple-system,"Helvetica Neue",Helvetica,sans-serif;
}
 
p, div, li {
    font-size: 13px;
    line-height: 1.4;;
}
 
.detail {
    margin-left: 10%;
    margin-right: 10%;
    font-size: 11px;
}
 
a:link,a:visited {
    text-decoration: none;
}
 
a:hover { 
    text-decoration: underline;
}
 
#sidebar {
    width: 200px;
    float: left;;
}
 
#sidebar h1 {
    margin-top: 0;
    margin-bottom: 0;
}
 
#sidebar h2 {
    margin-top: 0px;
    color: #999;
}
 
#sidebar ul {
    padding-left: 0px;
    list-style-type: none;
}
 
#sidebar ul ul {
    padding-left: 20px;
}
 
#sidebar ul ul li {
    font-size: 11px;
    line-height: 13px;
}
 
#main {
/*  margin-left: 220px;*/
}