extra styles to make old docs look like they used to

doc/css/zmap_doc.css

+
+pre{ width: 95%; background-color: #DDDDDD; border-style: solid; border-width: 1px; padding: 10px }
+.example{ border-color: #000000 }
+