/* lazyest-stylesheet */
/* Add your permanent styles below. */


hr.orange-top {position: absolute; border-top: solid 10px rgb(246, 118, 45); width: 100%; margin-top: 0px; left: 0px; top: 0px}

.post pre {
font-family: Consolas, "Andale Mono WT", "Andale Mono", "Lucida Console", "Lucida Sans Typewriter", "DejaVu Sans Mono", "Bitstream Vera Sans Mono", "Liberation Mono", "Nimbus Mono L", Monaco, "Courier New", Courier, monospace;
letter-spacing: 0px;
}

.post ol li {margin-bottom: .5em}