@import"https://fonts.googleapis.com/css2?family=Fira+Mono:wght@400;500;700&family=Noto+Sans:ital,wght@0,100..900;1,100..900&family=Noto+Serif:ital,wght@0,100..900;1,100..900&display=swap"; *, :before, :after { box-sizing: border-box; border-width: 0; border-style: solid; border-color: #e5e7eb } :before, :after { --tw-content: "" } html, :host { line-height: 1.5; -webkit-text-size-adjust: 100%; -moz-tab-size: 4; -o-tab-size: 4; tab-size: 4; font-family: Noto Sans, sans-serif; font-feature-settings: normal; font-variation-settings: normal; -webkit-tap-highlight-color: transparent } body { margin: 0; line-height: inherit } hr { height: 0; color: inherit; border-top-width: 1px } abbr:where([title]) { -webkit-text-decoration: underline dotted; text-decoration: underline dotted } h1, h2, h3, h4, h5, h6 { font-size: inherit; font-weight: inherit } a { color: inherit; text-decoration: inherit } b, strong { font-weight: bolder } code, kbd, samp, pre { font-family: Fira Mono, mono; font-feature-settings: normal; font-variation-settings: normal; font-size: 1em } small { font-size: 80% } sub, sup { font-size: 75%; line-height: 0; position: relative; vertical-align: baseline } sub { bottom: -.25em } sup { top: -.5em } table { text-indent: 0; border-color: inherit; border-collapse: collapse } button, input, optgroup, select, textarea { font-family: inherit; font-feature-settings: inherit; font-variation-settings: inherit; font-size: 100%; font-weight: inherit; line-height: inherit; letter-spacing: inherit; color: inherit; margin: 0; padding: 0 } button, select { text-transform: none } button, input:where([type=button]), input:where([type=reset]), input:where([type=submit]) { -webkit-appearance: button; background-color: transparent; background-image: none } :-moz-focusring { outline: auto } :-moz-ui-invalid { box-shadow: none } progress { vertical-align: baseline } ::-webkit-inner-spin-button, ::-webkit-outer-spin-button { height: auto } [type=search] { -webkit-appearance: textfield; outline-offset: -2px } ::-webkit-search-decoration { -webkit-appearance: none } ::-webkit-file-upload-button { -webkit-appearance: button; font: inherit } summary { display: list-item } blockquote, dl, dd, h1, h2, h3, h4, h5, h6, hr, figure, p, pre { margin: 0 } fieldset { margin: 0; padding: 0 } legend { padding: 0 } ol, ul, menu { list-style: none; margin: 0; padding: 0 } dialog { padding: 0 } textarea { resize: vertical } /* input::-moz-placeholder, textarea::-moz-placeholder { opacity: 1; color: #9ca3af } input::placeholder, textarea::placeholder { opacity: 1; color: #9ca3af } */ button, [role=button] { cursor: pointer } :disabled { cursor: default } img, svg, video, canvas, audio, iframe, embed, object { display: block; vertical-align: middle } img, video { max-width: 620px; height: auto } [hidden] { display: none } *, :before, :after { --tw-border-spacing-x: 0; --tw-border-spacing-y: 0; --tw-translate-x: 0; --tw-translate-y: 0; --tw-rotate: 0; --tw-skew-x: 0; --tw-skew-y: 0; --tw-scale-x: 1; --tw-scale-y: 1; --tw-pan-x: ; --tw-pan-y: ; --tw-pinch-zoom: ; --tw-scroll-snap-strictness: proximity; --tw-gradient-from-position: ; --tw-gradient-via-position: ; --tw-gradient-to-position: ; --tw-ordinal: ; --tw-slashed-zero: ; --tw-numeric-figure: ; --tw-numeric-spacing: ; --tw-numeric-fraction: ; --tw-ring-inset: ; --tw-ring-offset-width: 0px; --tw-ring-offset-color: #fff; --tw-ring-color: rgb(59 130 246 / .5); --tw-ring-offset-shadow: 0 0 #0000; --tw-ring-shadow: 0 0 #0000; --tw-shadow: 0 0 #0000; --tw-shadow-colored: 0 0 #0000; --tw-blur: ; --tw-brightness: ; --tw-contrast: ; --tw-grayscale: ; --tw-hue-rotate: ; --tw-invert: ; --tw-saturate: ; --tw-sepia: ; --tw-drop-shadow: ; --tw-backdrop-blur: ; --tw-backdrop-brightness: ; --tw-backdrop-contrast: ; --tw-backdrop-grayscale: ; --tw-backdrop-hue-rotate: ; --tw-backdrop-invert: ; --tw-backdrop-opacity: ; --tw-backdrop-saturate: ; --tw-backdrop-sepia: ; --tw-contain-size: ; --tw-contain-layout: ; --tw-contain-paint: ; --tw-contain-style: } ::backdrop { --tw-border-spacing-x: 0; --tw-border-spacing-y: 0; --tw-translate-x: 0; --tw-translate-y: 0; --tw-rotate: 0; --tw-skew-x: 0; --tw-skew-y: 0; --tw-scale-x: 1; --tw-scale-y: 1; --tw-pan-x: ; --tw-pan-y: ; --tw-pinch-zoom: ; --tw-scroll-snap-strictness: proximity; --tw-gradient-from-position: ; --tw-gradient-via-position: ; --tw-gradient-to-position: ; --tw-ordinal: ; --tw-slashed-zero: ; --tw-numeric-figure: ; --tw-numeric-spacing: ; --tw-numeric-fraction: ; --tw-ring-inset: ; --tw-ring-offset-width: 0px; --tw-ring-offset-color: #fff; /* --tw-ring-color: rgb(59 130 246 / .5); */ --tw-ring-offset-shadow: 0 0 #0000; --tw-ring-shadow: 0 0 #0000; --tw-shadow: 0 0 #0000; --tw-shadow-colored: 0 0 #0000; --tw-blur: ; --tw-brightness: ; --tw-contrast: ; --tw-grayscale: ; --tw-hue-rotate: ; --tw-invert: ; --tw-saturate: ; --tw-sepia: ; --tw-drop-shadow: ; --tw-backdrop-blur: ; --tw-backdrop-brightness: ; --tw-backdrop-contrast: ; --tw-backdrop-grayscale: ; --tw-backdrop-hue-rotate: ; --tw-backdrop-invert: ; --tw-backdrop-opacity: ; --tw-backdrop-saturate: ; --tw-backdrop-sepia: ; --tw-contain-size: ; --tw-contain-layout: ; --tw-contain-paint: ; --tw-contain-style: } .absolute { position: absolute } .relative { position: relative } .bottom-0 { bottom: 0 } .left-0 { left: 0 } .right-0 { right: 0 } .top-0 { top: 0 } .m-2 { margin: .5rem } .mx-8 { margin-left: 2rem; margin-right: 2rem } .my-4 { margin-top: 1rem; margin-bottom: 1rem } .mb-24 { margin-bottom: 6rem } .mb-4 { margin-bottom: 1rem } .mb-8 { margin-bottom: 2rem } .ml-1 { margin-left: .25rem } .mr-1 { margin-right: .25rem } .mr-2 { margin-right: .5rem } .mr-4 { margin-right: 1rem } .mt-16 { margin-top: 4rem } .mt-2 { margin-top: .5rem } .mt-4 { margin-top: 1rem } .mt-8 { margin-top: 2rem } .block { display: block } .inline-block { display: inline-block } .flex { display: flex } .grid { display: grid } .contents { display: contents } .hidden { display: none } .h-20 { height: 5rem } .h-32 { height: 8rem } .h-72 { height: 18rem } .h-full { height: 100% } .w-20 { width: 5rem } .w-full { width: 100% } .max-w-3xl { max-width: 48rem } .max-w-xl { max-width: 36rem } .transform { transform: translate(var(--tw-translate-x), var(--tw-translate-y)) rotate(var(--tw-rotate)) skew(var(--tw-skew-x)) skewY(var(--tw-skew-y)) scaleX(var(--tw-scale-x)) scaleY(var(--tw-scale-y)) } .cursor-pointer { cursor: pointer } .select-none { -webkit-user-select: none; -moz-user-select: none; user-select: none } .grid-flow-row-dense { grid-auto-flow: row dense } .grid-cols-3 { grid-template-columns: repeat(3, minmax(0, 1fr)) } .flex-row { flex-direction: row } .flex-col { flex-direction: column } .items-end { align-items: flex-end } .items-center { align-items: center } .justify-start { justify-content: flex-start } .justify-center { justify-content: center } .overflow-x-clip { overflow-x: clip } .overflow-y-scroll { overflow-y: scroll } .whitespace-pre-wrap { white-space: pre-wrap } .rounded-md { border-radius: .375rem } .border { border-width: 1px } .border-2 { border-width: 2px } .border-solid { border-style: solid } .border-black { --tw-border-opacity: 1; border-color: rgb(0 0 0 / var(--tw-border-opacity)) } .border-blue-300 { --tw-border-opacity: 1; border-color: rgb(147 197 253 / var(--tw-border-opacity)) } .border-blue-500 { --tw-border-opacity: 1; border-color: rgb(59 130 246 / var(--tw-border-opacity)) } .border-gray-200 { --tw-border-opacity: 1; border-color: rgb(229 231 235 / var(--tw-border-opacity)) } .border-gray-300 { --tw-border-opacity: 1; border-color: rgb(209 213 219 / var(--tw-border-opacity)) } .bg-black { --tw-bg-opacity: 1; background-color: rgb(0 0 0 / var(--tw-bg-opacity)) } .bg-gray-100 { --tw-bg-opacity: 1; background-color: rgb(243 244 246 / var(--tw-bg-opacity)) } .p-1 { padding: .25rem } .p-2 { padding: .5rem } .p-8 { padding: 2rem } .px-2 { padding-left: .5rem; padding-right: .5rem } .px-4 { padding-left: 1rem; padding-right: 1rem } .py-1 { padding-top: .25rem; padding-bottom: .25rem } .py-4 { padding-top: 1rem; padding-bottom: 1rem } .pb-12 { padding-bottom: 3rem } .pb-4 { padding-bottom: 1rem } .pt-4 { padding-top: 1rem } .pt-8 { padding-top: 2rem } .text-center { text-align: center } .font-mono { font-family: Fira Mono, mono } .font-sans { font-family: Noto Sans, sans-serif } .text-2xl { font-size: 1.5rem; line-height: 2rem } .text-3xl { font-size: 1.875rem; line-height: 2.25rem } .text-4xl { font-size: 2.25rem; line-height: 2.5rem } .text-base { font-size: 1rem; line-height: 1.5rem } .text-lg { font-size: 1.125rem; line-height: 1.75rem } .text-sm { font-size: .875rem; line-height: 1.25rem } .text-xl { font-size: 1.25rem; line-height: 1.75rem } .text-xs { font-size: .75rem; line-height: 1rem } .font-bold { font-weight: 700 } .uppercase { text-transform: uppercase } .italic { font-style: italic } .tracking-widest { letter-spacing: .1em } /* .text-blue-700 { --tw-text-opacity: 1; color: rgb(29 78 216 / var(--tw-text-opacity)) } */ .text-gray-200 { --tw-text-opacity: 1; color: rgb(229 231 235 / var(--tw-text-opacity)) } .text-gray-300 { --tw-text-opacity: 1; color: rgb(209 213 219 / var(--tw-text-opacity)) } .text-gray-500 { --tw-text-opacity: 1; color: rgb(107 114 128 / var(--tw-text-opacity)) } .text-gray-600 { --tw-text-opacity: 1; color: rgb(75 85 99 / var(--tw-text-opacity)) } .text-white { --tw-text-opacity: 1; color: rgb(255 255 255 / var(--tw-text-opacity)) } .underline { text-decoration-line: underline } .blur { --tw-blur: blur(8px); filter: var(--tw-blur) var(--tw-brightness) var(--tw-contrast) var(--tw-grayscale) var(--tw-hue-rotate) var(--tw-invert) var(--tw-saturate) var(--tw-sepia) var(--tw-drop-shadow) } .filter { filter: var(--tw-blur) var(--tw-brightness) var(--tw-contrast) var(--tw-grayscale) var(--tw-hue-rotate) var(--tw-invert) var(--tw-saturate) var(--tw-sepia) var(--tw-drop-shadow) } .transition { transition-property: color, background-color, border-color, text-decoration-color, fill, stroke, opacity, box-shadow, transform, filter, -webkit-backdrop-filter; transition-property: color, background-color, border-color, text-decoration-color, fill, stroke, opacity, box-shadow, transform, filter, backdrop-filter; transition-property: color, background-color, border-color, text-decoration-color, fill, stroke, opacity, box-shadow, transform, filter, backdrop-filter, -webkit-backdrop-filter; transition-timing-function: cubic-bezier(.4, 0, .2, 1); transition-duration: .15s } .hover\:border-blue-500:hover { --tw-border-opacity: 1; border-color: rgb(59 130 246 / var(--tw-border-opacity)) } .hover\:border-gray-500:hover { --tw-border-opacity: 1; border-color: rgb(107 114 128 / var(--tw-border-opacity)) } .hover\:bg-black:hover { --tw-bg-opacity: 1; background-color: rgb(0 0 0 / var(--tw-bg-opacity)) } .hover\:bg-white:hover { --tw-bg-opacity: 1; background-color: rgb(255 255 255 / var(--tw-bg-opacity)) } .hover\:text-black:hover { --tw-text-opacity: 1; color: rgb(0 0 0 / var(--tw-text-opacity)) } .hover\:text-white:hover { --tw-text-opacity: 1; color: rgb(255 255 255 / var(--tw-text-opacity)) } @media (min-width: 768px) { .md\:ml-2 { margin-left: .5rem } .md\:ml-4 { margin-left: 1rem } .md\:mt-0 { margin-top: 0 } .md\:block { display: block } .md\:flex { display: flex } .md\:hidden { display: none } .md\:h-24 { height: 6rem } .md\:w-24 { width: 6rem } .md\:flex-row { flex-direction: row } .md\:items-start { align-items: flex-start } .md\:items-center { align-items: center } .md\:justify-center { justify-content: center } .md\:overflow-y-auto { overflow-y: auto } .md\:pt-28 { padding-top: 7rem } .md\:text-base { font-size: 1rem; line-height: 1.5rem } .md\:text-lg { font-size: 1.125rem; line-height: 1.75rem } } .highlight table td { padding: 5px } .highlight table pre { margin: 0 } .highlight .cm { color: #777772; font-style: italic } .highlight .cp { color: #797676; font-weight: bold } .highlight .c1 { color: #777772; font-style: italic } .highlight .cs { color: #797676; font-weight: bold; font-style: italic } .highlight .c, .highlight .cd { color: #777772; font-style: italic } .highlight .err { color: #a61717; background-color: #e3d2d2 } .highlight .gd { color: #000000; background-color: #ffdddd } .highlight .ge { color: #000000; font-style: italic } .highlight .gr { color: #aa0000 } .highlight .gh { color: #797676 } .highlight .gi { color: #000000; background-color: #ddffdd } .highlight .go { color: #888888 } .highlight .gp { color: #555555 } .highlight .gs { font-weight: bold } .highlight .gu { color: #aaaaaa } .highlight .gt { color: #aa0000 } .highlight .kc { color: #000000; font-weight: bold } .highlight .kd { color: #000000; font-weight: bold } .highlight .kn { color: #000000; font-weight: bold } .highlight .kp { color: #000000; font-weight: bold } .highlight .kr { color: #000000; font-weight: bold } .highlight .kt { color: #445588; font-weight: bold } .highlight .k, .highlight .kv { color: #000000; font-weight: bold } .highlight .mf { color: #009999 } .highlight .mh { color: #009999 } .highlight .il { color: #009999 } .highlight .mi { color: #009999 } .highlight .mo { color: #009999 } .highlight .m, .highlight .mb, .highlight .mx { color: #009999 } .highlight .sb { color: #d14 } .highlight .sc { color: #d14 } .highlight .sd { color: #d14 } .highlight .s2 { color: #d14 } .highlight .se { color: #d14 } .highlight .sh { color: #d14 } .highlight .si { color: #d14 } .highlight .sx { color: #d14 } .highlight .sr { color: #009926 } .highlight .s1 { color: #d14 } .highlight .ss { color: #990073 } .highlight .s { color: #d14 } .highlight .na { color: #008080 } .highlight .bp { color: #797676 } .highlight .nb { color: #0086B3 } .highlight .nc { color: #445588; font-weight: bold } .highlight .no { color: #008080 } .highlight .nd { color: #3c5d5d; font-weight: bold } .highlight .ni { color: #800080 } .highlight .ne { color: #990000; font-weight: bold } .highlight .nf { color: #990000; font-weight: bold } .highlight .nl { color: #990000; font-weight: bold } .highlight .nn { color: #555555 } .highlight .nt { color: #000080 } .highlight .vc { color: #008080 } .highlight .vg { color: #008080 } .highlight .vi { color: #008080 } .highlight .nv { color: #008080 } .highlight .ow { color: #000000; font-weight: bold } .highlight .o { color: #000000; font-weight: bold } .highlight .w { color: #bbbbbb } .highlight { background-color: #f8f8f8 } html, body, div, span, applet, object, iframe, h1, h2, h3, h4, h5, h6, p, blockquote, pre, a, abbr, acronym, address, big, cite, code, del, dfn, em, img, ins, kbd, q, s, samp, small, strike, strong, sub, sup, tt, var, b, u, i, center, dl, dt, dd, ol, ul, li, fieldset, form, label, legend, table, caption, tbody, tfoot, thead, tr, th, td, article, aside, canvas, details, embed, figure, figcaption, footer, header, hgroup, menu, nav, output, ruby, section, summary, time, mark, audio, video { margin: 0; padding: 0; border: 0; font: inherit; vertical-align: baseline } article, aside, details, figcaption, figure, footer, header, hgroup, menu, nav, section { display: block } ol, ul { list-style: none } table { border-collapse: collapse; border-spacing: 0 } body { box-sizing: border-box; color: #373737; background: #212121; font-size: 16px; font-family: 'Myriad Pro', Calibri, Helvetica, Arial, sans-serif; line-height: 1.5; -webkit-font-smoothing: antialiased } h1, h2, h3, h4, h5, h6 { margin: 10px 0; font-weight: 500; color: #222222; font-family: 'Lucida Grande', 'Calibri', Helvetica, Arial, sans-serif; letter-spacing: -1px } h1 { font-size: 36px; font-weight: 500 } h2 { padding-bottom: 10px; font-size: 32px; } h3 { font-size: 24px } h4 { font-size: 21px } h5 { font-size: 18px } h6 { font-size: 16px } p { margin: 10px 0 15px 0 } footer p { color: #f2f2f2 } a { text-decoration: none; color: #0F79D0; text-shadow: none; transition: color 0.5s ease; transition: text-shadow 0.5s ease; -webkit-transition: color 0.5s ease; -webkit-transition: text-shadow 0.5s ease; -moz-transition: color 0.5s ease; -moz-transition: text-shadow 0.5s ease; -o-transition: color 0.5s ease; -o-transition: text-shadow 0.5s ease; -ms-transition: color 0.5s ease; -ms-transition: text-shadow 0.5s ease } a:hover, a:focus { text-decoration: underline } footer a { color: #F2F2F2; text-decoration: underline } em, cite { font-style: italic } strong { font-weight: bold } img { position: relative; margin: 0 auto; max-width: 620px; padding: 5px; margin: 10px 0 10px 0; border: 1px solid #ebebeb; box-shadow: 0 0 5px #ebebeb; -webkit-box-shadow: 0 0 5px #ebebeb; -moz-box-shadow: 0 0 5px #ebebeb; -o-box-shadow: 0 0 5px #ebebeb; -ms-box-shadow: 0 0 5px #ebebeb } p img { display: inline; margin: 0; padding: 0; vertical-align: middle; text-align: center; border: none } pre, code { color: #222; background-color: #fff; font-family: Monaco, "Bitstream Vera Sans Mono", "Lucida Console", Terminal, monospace; font-size: 0.875em; border-radius: 2px; -moz-border-radius: 2px; -webkit-border-radius: 2px } pre { padding: 10px; box-shadow: 0 0 10px rgba(0, 0, 0, 0.1); overflow: auto } code { padding: 3px; margin: 0 3px; box-shadow: 0 0 10px rgba(0, 0, 0, 0.1) } pre code { display: block; box-shadow: none } blockquote { color: #666; margin-bottom: 20px; padding: 0 0 0 20px; border-left: 3px solid #bbb } ul, ol, dl { margin-bottom: 15px } ul { list-style-position: inside; list-style: disc; padding-left: 20px } ol { list-style-position: inside; list-style: decimal; padding-left: 20px } dl dt { font-weight: bold } dl dd { padding-left: 20px; font-style: italic } dl p { padding-left: 20px; font-style: italic } hr { height: 1px; margin-bottom: 5px; border: none; } table { border: 1px solid #373737; margin-bottom: 20px; text-align: left } th { font-family: 'Lucida Grande', 'Helvetica Neue', Helvetica, Arial, sans-serif; padding: 10px; background: #373737; color: #fff } td { padding: 10px; border: 1px solid #373737 } form { background: #f2f2f2; padding: 20px } kbd { background-color: #fafbfc; border: 1px solid #c6cbd1; border-bottom-color: #959da5; border-radius: 3px; box-shadow: inset 0 -1px 0 #959da5; color: #444d56; display: inline-block; font-size: 11px; line-height: 11px; padding: 3px 5px; vertical-align: middle } .outer { width: 100% } .inner { position: relative; max-width: 620px; padding: 20px 10px; margin: 0 auto } #forkme_banner { display: block; position: absolute; top: 0; right: 10px; z-index: 10; padding: 10px 50px 10px 10px; color: #fff; background: url("https://lambda-discrepancy.github.io/images/blacktocat.png") #0090ff no-repeat 95% 50%; font-weight: 500; box-shadow: 0 0 10px rgba(0, 0, 0, 0.5); border-bottom-left-radius: 2px; border-bottom-right-radius: 2px } #header_wrap { background: #212121; background: -moz-linear-gradient(top, #373737, #212121); background: -webkit-linear-gradient(top, #373737, #212121); background: -ms-linear-gradient(top, #373737, #212121); background: -o-linear-gradient(top, #373737, #212121); background: linear-gradient(to top, #373737, #212121) } #header_wrap .inner { padding: 50px 10px 30px 10px } #project_title { margin: 0; color: #fff; font-size: 42px; font-weight: 500; text-shadow: #111 0px 0px 10px } #project_tagline { color: #fff; font-size: 24px; font-weight: 300; background: none; text-shadow: #111 0px 0px 10px } #downloads { position: absolute; width: 210px; z-index: 10; bottom: -40px; right: 0; height: 70px; background: url("https://lambda-discrepancy.github.io/images/icon_download.png") no-repeat 0% 90% } .zip_download_link { display: block; float: right; width: 90px; height: 70px; text-indent: -5000px; overflow: hidden; background: url(https://lambda-discrepancy.github.io/images/sprite_download.png) no-repeat bottom left } .tar_download_link { display: block; float: right; width: 90px; height: 70px; text-indent: -5000px; overflow: hidden; background: url(https://lambda-discrepancy.github.io/images/sprite_download.png) no-repeat bottom right; margin-left: 10px } .zip_download_link:hover { background: url(https://lambda-discrepancy.github.io/images/sprite_download.png) no-repeat top left } .tar_download_link:hover { background: url(https://lambda-discrepancy.github.io/images/sprite_download.png) no-repeat top right } #main_content_wrap { background: #f2f2f2; border-top: 1px solid #111; border-bottom: 1px solid #111 } #main_content { padding-top: 40px } #footer_wrap { background: #212121 } @media screen and (max-width: 992px) { img { max-width: 100% } } @media screen and (max-width: 480px) { body { font-size: 14px } #downloads { display: none } .inner { min-width: 320px; max-width: 480px } #project_title { font-size: 32px } h1 { font-size: 28px } h2 { font-size: 24px } h3 { font-size: 21px } h4 { font-size: 18px } h5 { font-size: 14px } h6 { font-size: 12px } code, pre { font-size: 11px } } @media screen and (max-width: 320px) { body { font-size: 14px } #downloads { display: none } .inner { min-width: 240px; max-width: 320px } #project_title { font-size: 28px } h1 { font-size: 24px } h2 { font-size: 21px } h3 { font-size: 18px } h4 { font-size: 16px } h5 { font-size: 14px } h6 { font-size: 12px } code, pre { min-width: 240px; max-width: 320px; font-size: 11px } } sup { /* vertical-align: super; */ font-size: small; } button { color: #000000; border-color: #000000; border-style: solid; border-radius: .375rem; padding: 5px; font-size: large; align-items: center; } button div { vertical-align: middle; } .bibtex { border: solid 1px black !important; background-color: #ddd; box-shadow: inset 1px 1px #999; border-radius: 15px; padding: 1em 1em; overflow: auto; font-size: .8em; line-height: 1em; white-space: pre-wrap; line-height: 140%; }