| /* Base styles and content styles */ |
| |
| @import 'variables.css'; |
| |
| :root { |
| /* Browser default font-size is 16px, this way 1 rem = 10px */ |
| font-size: 62.5%; |
| } |
| |
| html { |
| font-family: "Open Sans", sans-serif; |
| color: var(--fg); |
| background-color: var(--bg); |
| text-size-adjust: none; |
| } |
| |
| body { |
| margin: 0; |
| font-size: 1.6rem; |
| overflow-x: hidden; |
| } |
| |
| code { |
| font-family: "Source Code Pro", Consolas, "Ubuntu Mono", Menlo, "DejaVu Sans Mono", monospace, monospace !important; |
| font-size: 0.875em; /* please adjust the ace font size accordingly in editor.js */ |
| } |
| |
| /* Don't change font size in headers. */ |
| h1 code, h2 code, h3 code, h4 code, h5 code, h6 code { |
| font-size: unset; |
| } |
| |
| .left { float: left; } |
| .right { float: right; } |
| .boring { opacity: 0.6; } |
| .hide-boring .boring { display: none; } |
| .hidden { display: none !important; } |
| |
| h2, h3 { margin-top: 2.5em; } |
| h4, h5 { margin-top: 2em; } |
| |
| .header + .header h3, |
| .header + .header h4, |
| .header + .header h5 { |
| margin-top: 1em; |
| } |
| |
| h1:target::before, |
| h2:target::before, |
| h3:target::before, |
| h4:target::before, |
| h5:target::before, |
| h6:target::before { |
| display: inline-block; |
| content: "ยป"; |
| margin-left: -30px; |
| width: 30px; |
| } |
| |
| /* This is broken on Safari as of version 14, but is fixed |
| in Safari Technology Preview 117 which I think will be Safari 14.2. |
| https://bugs.webkit.org/show_bug.cgi?id=218076 |
| */ |
| :target { |
| scroll-margin-top: calc(var(--menu-bar-height) + 0.5em); |
| } |
| |
| .page { |
| outline: 0; |
| padding: 0 var(--page-padding); |
| margin-top: calc(0px - var(--menu-bar-height)); /* Compensate for the #menu-bar-hover-placeholder */ |
| } |
| .page-wrapper { |
| box-sizing: border-box; |
| } |
| .js:not(.sidebar-resizing) .page-wrapper { |
| transition: margin-left 0.3s ease, transform 0.3s ease; /* Animation: slide away */ |
| } |
| |
| .content { |
| overflow-y: auto; |
| padding: 0 15px; |
| padding-bottom: 50px; |
| } |
| .content main { |
| margin-left: auto; |
| margin-right: auto; |
| max-width: var(--content-max-width); |
| } |
| .content p { line-height: 1.45em; } |
| .content ol { line-height: 1.45em; } |
| .content ul { line-height: 1.45em; } |
| .content a { text-decoration: none; } |
| .content a:hover { text-decoration: underline; } |
| .content img, .content video { max-width: 100%; } |
| .content .header:link, |
| .content .header:visited { |
| color: var(--fg); |
| } |
| .content .header:link, |
| .content .header:visited:hover { |
| text-decoration: none; |
| } |
| |
| table { |
| margin: 0 auto; |
| border-collapse: collapse; |
| } |
| table td { |
| padding: 3px 20px; |
| border: 1px var(--table-border-color) solid; |
| } |
| table thead { |
| background: var(--table-header-bg); |
| } |
| table thead td { |
| font-weight: 700; |
| border: none; |
| } |
| table thead th { |
| padding: 3px 20px; |
| } |
| table thead tr { |
| border: 1px var(--table-header-bg) solid; |
| } |
| /* Alternate background colors for rows */ |
| table tbody tr:nth-child(2n) { |
| background: var(--table-alternate-bg); |
| } |
| |
| |
| blockquote { |
| margin: 20px 0; |
| padding: 0 20px; |
| color: var(--fg); |
| background-color: var(--quote-bg); |
| border-top: .1em solid var(--quote-border); |
| border-bottom: .1em solid var(--quote-border); |
| } |
| |
| |
| :not(.footnote-definition) + .footnote-definition, |
| .footnote-definition + :not(.footnote-definition) { |
| margin-top: 2em; |
| } |
| .footnote-definition { |
| font-size: 0.9em; |
| margin: 0.5em 0; |
| } |
| .footnote-definition p { |
| display: inline; |
| } |
| |
| .tooltiptext { |
| position: absolute; |
| visibility: hidden; |
| color: #fff; |
| background-color: #333; |
| transform: translateX(-50%); /* Center by moving tooltip 50% of its width left */ |
| left: -8px; /* Half of the width of the icon */ |
| top: -35px; |
| font-size: 0.8em; |
| text-align: center; |
| border-radius: 6px; |
| padding: 5px 8px; |
| margin: 5px; |
| z-index: 1000; |
| } |
| .tooltipped .tooltiptext { |
| visibility: visible; |
| } |
| |
| .chapter li.part-title { |
| color: var(--sidebar-fg); |
| margin: 5px 0px; |
| font-weight: bold; |
| } |