/* tds.css
   ======= */

 @page {size: 21cm 29.7cm; margin: 23.5mm}
 
 body {background: white}
 code, pre, var {color: #005a9c}
 h1, h2, h3, h4, h5, h6 {color: darkgreen; font-family: sans-serif}
 ul {color: #005a9c} /* list dot */
 
.appendix, .break, .breaksection, .breaksubsection, .chapter, .menubreak {
   page-break-before: always}  
.contributors {margin-top: 12px}
.example {color: #005a9c}
.menu, .node {color: #005a9c}
.menu {margin-top: 12px}
.settitle {font-size: 31.5px}
.unnumbered {page-break-before: always}