body {
font-family:"DejaVu Sans","Bitstream Vera Sans",Verdana,Arial,Helvetica,sans-serif;
}

h1, h2, h3, h4, h5, h6 {
border-left: 0.4ex gray solid;
background-color:silver;
padding-left:3px;
}
h3:before { content:"\00bb\00a0"; }
h4:before { content:"\00bb\00bb\00a0"; }
h5:before { content:"\00bb\00bb\00bb\00a0"; }
h6:before { content:"\00bb\00bb\00bb\00bb\00a0"; }

*:target { text-decoration: underline; background-color: #5ce;
border-left: 0.4ex #29a solid; }
span#email:target { background-color: #ec5; border-left: 0.4ex #a92 solid; }

pre.console { background-color: #2e3436;
color: #eeeeec;
padding: 1ex 1em;
width: 90ex;
}

acronym[title],abbr[title]{cursor:help;}