1/* stolen from "Making your DocBook/XML HTML output not suck" */ 2 3body { 4 font-family: luxi sans,sans-serif; 5} 6 7.screen { 8 font-family: monospace; 9 font-size: 1em; 10 display: block; 11 padding: 10px; 12 border: 1px solid #bbb; 13 background-color: #eee; 14 color: #000; 15 overflow: auto; 16 border-radius: 2.5px; 17 -moz-border-radius: 2.5px; 18 margin: 0.5em 2em; 19} 20 21.programlisting { 22 font-family: monospace; 23 font-size: 1em; 24 display: block; 25 padding: 10px; 26 border: 1px solid #bbb; 27 background-color: #ddd; 28 color: #000; 29 overflow: auto; 30 border-radius: 2.5px; 31 -moz-border-radius: 2.5px; 32 margin: 0.5em 2em; 33} 34 35a { 36 text-decoration: none; 37 border-bottom: 1px dotted #000; 38} 39 40a:hover { 41 background-color: #777; 42 color: #fff; 43} 44