.source-html4strict { line-height: normal; }.source-html4strict li, .source-html4strict pre { line-height: normal; border: 0px white; }.html4strict.source-html4strict .de1, .html4strict.source-html4strict .de2 { font-style: normal; font-variant-caps: normal; font-weight: normal; font-stretch: normal; font-size: 1em; line-height: 1.2em; font-family: monospace; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; margin: 0px; padding: 0px; background: none; vertical-align: top; }.html4strict.source-html4strict { font-family: monospace; }.html4strict.source-html4strict .imp { font-weight: bold; color: red; }.html4strict.source-html4strict li, .html4strict.source-html4strict .li1 { font-weight: normal; vertical-align: top; }.html4strict.source-html4strict .ln { width: 1px; text-align: right; margin: 0px; padding: 0px 2px; vertical-align: top; }.html4strict.source-html4strict .li2 { font-weight: bold; vertical-align: top; }.html4strict.source-html4strict .kw2 { color: rgb(0, 0, 0); font-weight: bold; }.html4strict.source-html4strict .kw3 { color: rgb(0, 0, 102); }.html4strict.source-html4strict .es0 { color: rgb(0, 0, 153); font-weight: bold; }.html4strict.source-html4strict .br0 { color: rgb(102, 204, 102); }.html4strict.source-html4strict .sy0 { color: rgb(102, 204, 102); }.html4strict.source-html4strict .st0 { color: rgb(255, 0, 0); }.html4strict.source-html4strict .nu0 { color: rgb(204, 102, 204); }.html4strict.source-html4strict .sc-2 { color: rgb(64, 64, 64); }.html4strict.source-html4strict .sc-1 { color: rgb(128, 128, 128); font-style: italic; }.html4strict.source-html4strict .sc0 { color: rgb(0, 187, 221); }.html4strict.source-html4strict .sc1 { color: rgb(221, 187, 0); }.html4strict.source-html4strict .sc2 { color: rgb(0, 153, 0); }.html4strict.source-html4strict .ln-xtra, .html4strict.source-html4strict li.ln-xtra, .html4strict.source-html4strict div.ln-xtra { background-color: rgb(255, 255, 204); }.html4strict.source-html4strict span.xtra { display: block; }
.t-lines > span * {line-height:1.5em}

.t-lines > span:empty:after { content:"\a0"}