Skip to content

Instantly share code, notes, and snippets.

@patmaddox patmaddox/command.sh
Created Dec 13, 2017

Embed
What would you like to do?
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 {
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 {
}
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;
}
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;*/
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.