Created
January 18, 2025 17:09
-
-
Save jeswr/8369d0a4e5b260858c98c1d61f8086ed to your computer and use it in GitHub Desktop.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| /* 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 { | |
| -webkit-column-width: 24em; /* Chrome, Safari, Opera */ | |
| -moz-column-width: 24em; /* Firefox */ | |
| column-width: 24em; | |
| -webkit-column-gap: 1em; /* Chrome, Safari, Opera */ | |
| -moz-column-gap: 1em; /* Firefox */ | |
| column-gap: 1em; | |
| } | |
| 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 } | |
| img { | |
| max-width: 100%; | |
| height: auto; | |
| display: block; /* optional, often helps avoid extra space around inline images */ | |
| } | |
| table { | |
| border-collapse: collapse; | |
| width: 100%; | |
| } | |
| .table-wrapper { | |
| /* This allows the table to be scrollable if it’s too wide */ | |
| overflow-x: auto; | |
| width: 100%; | |
| } | |
| table { | |
| /* Ensures table doesn't shrink the page; it can exceed its container */ | |
| border-collapse: collapse; | |
| /* Optional styling: set a max-width to keep it from growing beyond container */ | |
| /* max-width: 100%; */ | |
| } | |
| @media (max-width: 600px) { | |
| .cols { | |
| /* Force just one column */ | |
| -webkit-column-count: 1; | |
| -moz-column-count: 1; | |
| column-count: 1; | |
| /* Optionally remove the gap so it doesn't look awkward */ | |
| -webkit-column-gap: 0; | |
| -moz-column-gap: 0; | |
| column-gap: 0; | |
| -webkit-column-width: auto; /* Chrome, Safari, Opera */ | |
| -moz-column-width: auto; /* Firefox */ | |
| column-width: auto; | |
| } | |
| } | |
| /* ends */ |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment