1/* Base styles and content styles */
3@import 'variables.css';
6 /* Browser default font-size is 16px, this way 1 rem = 10px */
10/* TODO: replace with self hosted fonts */
13 font-family: "Inter", sans-serif;
15 background-color: var(--bg);
16 text-size-adjust: none;
19/* @supports (font-variation-settings: normal) { */
20/* html { font-family: 'Inter var', sans-serif; } */
30 font-family: "Source Code Pro", Consolas, "Ubuntu Mono", Menlo, "DejaVu Sans Mono", monospace, monospace !important;
31 font-size: 0.875em; /* please adjust the ace font size accordingly in editor.js */
34/* Don't change font size in headers. */
35h1 code, h2 code, h3 code, h4 code, h5 code, h6 code {
40.right { float: right; }
41.boring { opacity: 0.6; }
42.hide-boring .boring { display: none; }
43.hidden { display: none !important; }
45h2, h3 { margin-top: 2.5em; }
46h4, h5 { margin-top: 2em; }
60 display: inline-block;
66/* This is broken on Safari as of version 14, but is fixed
67 in Safari Technology Preview 117 which I think will be Safari 14.2.
68 https://bugs.webkit.org/show_bug.cgi?id=218076
71 scroll-margin-top: calc(var(--menu-bar-height) + 0.5em);
76 padding: 0 var(--page-padding);
77 margin-top: calc(0px - var(--menu-bar-height)); /* Compensate for the #menu-bar-hover-placeholder */
80 box-sizing: border-box;
82.js:not(.sidebar-resizing) .page-wrapper {
83 transition: margin-left 0.3s ease, transform 0.3s ease; /* Animation: slide away */
94 max-width: var(--content-max-width);
98/* 2 1.75 1.5 1.25 1 .875 */
100.content h1 { font-size: 2em }
101.content h2 { font-size: 1.75em }
102.content h3 { font-size: 1.5em }
103.content h4 { font-size: 1.25em }
104.content h5 { font-size: 1em }
105.content h6 { font-size: .875em }
107.content h1, .content h2, .content h3, .content h4 {
110 margin-bottom: .875em;
112.content p, .content ol, .content ul, .content table {
114 margin-bottom: .875em;
118margin-bottom: .25rem;
121 list-style-type: square;
123.content ul ul, .content ol ul {
124 margin-bottom: .5rem;
130.content p { line-height: 1.45em; }
131.content ol { line-height: 1.45em; }
132.content ul { line-height: 1.45em; }
133.content a { text-decoration: none; }
134.content a:hover { text-decoration: underline; }
135.content img { max-width: 100%; }
136.content .header:link,
137.content .header:visited {
139 color: var(--heading-fg);
141.content .header:link,
142.content .header:visited:hover {
143 text-decoration: none;
148 border-collapse: collapse;
156 background: var(--table-header-bg);
170 border-bottom: 2px var(--table-border-color) solid;
173 border-bottom: 1px var(--table-border-line) solid;
175/* Alternate background colors for rows */
176table tbody tr:nth-child(2n) {
177 /* background: var(--table-alternate-bg); */
183 padding: 1rem 1.5rem;
186 background-color: var(--quote-bg);
187 border-left: 4px solid var(--quote-border);
189blockquote *:last-child {
194:not(.footnote-definition) + .footnote-definition,
195.footnote-definition + :not(.footnote-definition) {
198.footnote-definition {
202.footnote-definition p {
210 background-color: #333;
211 transform: translateX(-50%); /* Center by moving tooltip 50% of its width left */
212 left: -8px; /* Half of the width of the icon */
221.tooltipped .tooltiptext {
225.chapter li.part-title {
226 color: var(--sidebar-fg);
keysesc to close
- j k
- move down, up
- enter
- open
- esc
- back, or up a level
- 1 2 3 4
- readme, files, commits, refs
- /
- filter
- y
- copy the clone command
- c
- compare the chosen commit with another (or shift-click both)
- ?
- show or hide this list