/* - pisa.css - */
@media pdf {
/* http://www.droppedpackets.org/portal_css/pisa.css?original=1 */
@font-face {
font-family: "DejaVu Sans Mono", dejamono;
src: url(DejaVuSansMono.ttf);
}
@page {
-pdf-page-orientation: portrait;
-pdf-page-size: a4;
background-image: url(background.pdf);
margin-top: 2cm;
margin-left: 4cm;
margin-right: 2cm;
margin-bottom: 3cm;
}
@page regular {
-pdf-page-orientation: portrait;
-pdf-page-size: a4;
background-image: url(background.pdf);
margin-top: 2cm;
margin-left: 4cm;
margin-right: 2cm;
margin-bottom: 3cm;
@frame footer {
-pdf-frame-content: footer;
bottom: 2cm;
left: 4cm;
right: 2cm;
height: 1cm;
}
}
html {
font-family: Arial, Helvetica, sans-serif;
font-size: 10pt;
}
h1 {
page-break-before: always;
}
pre {
background-color: #eee;
font-family: dejamono, "Courier New", Courier, monospace;
font-size: 8pt;
}
.del {
text-decoration: line-through;
}
p, pre {
margin-top: 1em;
margin-bottom: 1em;
}
.license {
font-size: 8px;
line-height: 110%;
}
.title {
font-size: 300%;
font-weight: bold;
margin-top: 20pt;
margin-bottom: 20pt;
}
.subtitle {
font-size: 150%;
font-weight: bold;
margin-top: 20pt;
margin-bottom: 20pt;
}
#footer {
text-align: right;
}

}