style.css

@media only screen { .screen-hidden, .print { display: none; } }
@media only print  { .print-hidden, .screen { display: none; } }
body { max-width: 600px; margin: auto; color: #222; }
p, h1, h2, h3, h4, ul, li, blockquote, div {
    font-family: Verdana,Arial,'Lucida Grande',Sans-Serif;
    line-height: 150%;
    text-align: justify;
}
h3 { margin-top: 2em; }
hr.section-hr { margin-top: 3em; }
.important { border: solid 3px red; padding: 2px 8px 2px 8px ; margin-left: 16px; margin-right: 16px; }
pre, code { overflow-wrap: break-word; overflow: hidden; }
.small { font-size: 80%; }
.generated-code-output .code-textarea { width: 100%; height: 250px; }
#all-perf td, #all-perf th { padding: 0 3px 0 2px; text-align: right; font-size: 92%; }
#all-perf .table-left { text-align: left; }
#all-perf .table-sep { padding-right: 0px; }
.happy { color: darkgreen; }
.sad   { color: darkred; }
.anchorable .anchor { display: none; }
.anchorable:hover .anchor { display: inline; }
.pre-scroll { height: 250px; overflow-y: scroll; }
.prettyprint { text-justify: wrap; }
.fixed-br { position: fixed; opacity: 0.87; bottom: 5px; right: 5px; margin: 10px; padding: 6px; border: solid 1px black; background-color: white; }
.invalid { text-decoration: line-through; }