/* * Here we override some CSS to make a Luminous object more print-friendly. * as well as some layout, we override a few colours of the light theme. * This is because some colours do not print well (grey comments => green) * and boldness appears to be dropped from keywords, thereby removing all their * highlighting (these are changed to a purple colour) */ /* body {padding:0px !important; margin:0px !important;} */ div.luminous .metabar_buttons, div.luminous .metabar_fixed { display:none !important; visibility:hidden !important; } div.luminous, .luminous .code, .luminous .line_numbers { height:auto !important; } .luminous pre.code, .luminous pre.line_numbers { overflow:visible !important; max-height:none !important; } div.luminous .comment{color:green !important;} div.luminous .keyword {} div.luminous table.code_container{height:auto !important;} div.luminous div.code_container{max-height:none !important; overflow:visible !important; height:auto !important; } table.code_container {padding:0px !important; border-collapse:collapse; } td {padding: 0px !important;} td.lineno {border-right:1px solid black; } td.code { padding-left: 1em !important;}