@media print{body{margin:0;color:#000;background-color:#fff}.content{font-family:courier new;font-size:22pt}nav hextra-toc text-current{display:none}}.content{font-family:verdana,sans-serif;font-size:17px}.top-0{background-color:#c0bfc7}