mirror of
https://github.com/ninja-build/ninja.git
synced 2026-06-24 08:48:42 +00:00
b785947b1f
The introduction of the entry for `compdb-targets` in the `[horizontal]`
labeled list in doc/manual.asciidoc revealed some display issues in the
left column:
First, the web browser would insert a line break in the middle of the
label `compdb-targets`, so that it looked like this:
compdb-
targets
We fix this by applying the `white-space: nowrap` attribute to the left
column.
After this is fixed, we see practically no space between the end of the
longest label and the beginning of the text in the second column; we fix
this with the `padding-right` attribute.
Finally, we align all labels to the right side of the column so that
there is a consistent amount of horizontal space between the end of each
label and the beginning of the text in the second column.
69 lines
1.1 KiB
CSS
69 lines
1.1 KiB
CSS
:root {
|
|
color-scheme: light dark;
|
|
}
|
|
|
|
body {
|
|
margin: 5ex 10ex;
|
|
max-width: 80ex;
|
|
line-height: 1.5;
|
|
font-family: sans-serif;
|
|
}
|
|
|
|
h1, h2, h3 {
|
|
font-weight: normal;
|
|
}
|
|
|
|
pre, code {
|
|
font-family: x, monospace;
|
|
}
|
|
|
|
pre {
|
|
padding: 1ex;
|
|
background: #eee;
|
|
border: solid 1px #ddd;
|
|
min-width: 0;
|
|
font-size: 90%;
|
|
}
|
|
@media (prefers-color-scheme: dark) {
|
|
pre {
|
|
background: #333;
|
|
border: solid 1px #444;
|
|
}
|
|
}
|
|
|
|
code {
|
|
color: #007;
|
|
}
|
|
@media (prefers-color-scheme: dark) {
|
|
code {
|
|
color: #a7cec8;
|
|
}
|
|
}
|
|
|
|
div.chapter {
|
|
margin-top: 4em;
|
|
border-top: solid 2px black;
|
|
}
|
|
@media (prefers-color-scheme: dark) {
|
|
div.chapter {
|
|
border-top: solid 2px white;
|
|
}
|
|
}
|
|
|
|
p {
|
|
margin-top: 0;
|
|
}
|
|
|
|
/* The following applies to the left column of a [horizontal] labeled list: */
|
|
table.horizontal > tbody > tr > td:nth-child(1) {
|
|
|
|
/* prevent the insertion of a line-break in the middle of a label: */
|
|
white-space: nowrap;
|
|
|
|
/* insert a little horizontal padding between the two columns: */
|
|
padding-right: 1.5em;
|
|
|
|
/* right-justify labels: */
|
|
text-align: end;
|
|
}
|