@charset "utf-8";
html,body{margin:0;padding:0;height:100%}
body{font-family:verdana,arial,sans-serif;font-size:100%}
sub{vertical-align:sub}
sup{vertical-align:super}
pre,code,tt{font-family:'DejaVu Sans Mono','Andale Mono','Bitstream Vera Sans Mono',monospace,serif;font-size:95%}
cursor{position:relative;top:-0.05em;animation:blinkingText 1.2s infinite}
@keyframes blinkingText{
0%{color:#000}
49%{color:#000}
60%{color:transparent}
99%{color:transparent}
100%{color:#000}
}
.leftmarg{display:block;margin-left:1.5em;font-family:'courier new',mono,serif;font-weight:600;white-space:pre}
lc{text-transform:lowercase}