/* Style for design issues documents */ body { font-family: opensans, sans-serif; /* serif */ background-color: white; /* was for decades #f8fff8 */ line-height: 1.2em; color: black; margin: 2em 8% 2em 10%; /* T R B L */ } table { background: #f3fff3; /* paler same axis */ } th { background: white; text-align: left;} h1, h2, h3 { font-family: sans-serif; margin: 1em 0 0.5em 0; /* Was 1em 0 0.5em -5% */ break-after: avoid; page-break-after: avoid; column-break-after: avoid; -webkit-column-break-after: avoid; } h1 { font-size: 150% } h2 { font-size: 120% } h3 { font-size: 100%; font-style: italic;} h4 { page-break-after: avoid; column-break-after: avoid; -webkit-column-break-after: avoid; } p { margin: 0 0 1em 0; line-height: 1.4em; font-family: sans-serif; /* top right bottom left */ /* text-indent: 2em ; first-line indent - nope not this style. */ /* line-height: 2.0; only for double-space */ /* font-size: 12pt; */ /* use user's default */ } .original { color: gray; border-left: 0.1em solid gray; padding-left: 1em; margin-left: 0em; } a { font-weight: bold; color: #006623; text-decoration: none;} td, th{ padding: 1em; } li {padding: 0.6em; } .tbd {color: #888; } .ramble {font-size: 80%; font-weight: 80%; } .cols { column-width: 24em; column-gap: 5%; } pre { font-size: 80%; } .note { color: #485 } blockquote { font-style: italic; font-family: sanserif; } .abstract { font-style: italic; font-family: sans-serif; margin: 0.5em 3em 0.5em 3em; } .number {font-family: monospace;} .detail {font-size: 80%; } .axiom { margin: 1em; border: thin; background-color: white } /* ends */