.source-text { line-height: normal; }.source-text li, .source-text pre { line-height: normal; border: 0px white; }.text.source-text .de1, .text.source-text .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; }.text.source-text { font-family: monospace; }.text.source-text .imp { font-weight: bold; color: red; }.text.source-text li, .text.source-text .li1 { font-weight: normal; vertical-align: top; }.text.source-text .ln { width: 1px; text-align: right; margin: 0px; padding: 0px 2px; vertical-align: top; }.text.source-text .li2 { font-weight: bold; vertical-align: top; }.text.source-text .ln-xtra, .text.source-text li.ln-xtra, .text.source-text div.ln-xtra { background-color: rgb(255, 255, 204); }.text.source-text span.xtra { display: block; }
.t-lines > span * {line-height:1.5em}

.t-lines > span:empty:after { content:none}

.t-lines > span:empty:after { content:''}

.t-lines > span:empty:after { content:' '}

.t-lines > span:empty:after { content:' '}

.t-lines > span:empty:after { content:'   '}

.t-lines > span:empty:after { content:0}

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

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

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

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

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