 Marian Beermann
|
fd21893591
revert logo colour to #00dd00 (per @TW)
|
8 jaren geleden |
|
Marian Beermann
|
671418a794
docs: adjust CSS to updated logo colour
|
8 jaren geleden |
|
Marian Beermann
|
9b0c03ba48
docs: delete unused CSS directives
|
8 jaren geleden |
|
Marian Beermann
|
405e5ac9e1
docs: common options: don't wrap options
|
8 jaren geleden |
|
Marian Beermann
|
8727b79325
docs: don't narrow right margin in sidebar toc
|
8 jaren geleden |
|
Marian Beermann
|
23ee9432d9
docs: retain rST option list formatting (for Common Options)
|
8 jaren geleden |
|
Marian Beermann
|
e76fae0545
docs: uniform tables for listing options (HTML only)
|
8 jaren geleden |
|
Marian Beermann
|
a1a92bf00f
docs: less space waste following "Common options"
|
8 jaren geleden |
|
Marian Beermann
|
6290b73863
docs: more compact options formatting
|
8 jaren geleden |
|
Marian Beermann
|
5e9f069dde
docs: neater table borders
|
8 jaren geleden |
|
Marian Beermann
|
334fa9f322
docs: add some cell-padding to tables
|
8 jaren geleden |
|
Marian Beermann
|
658fd2521f
docs: fix overeager CSS selector ballooning badges
|
8 jaren geleden |
|
Marian Beermann
|
e880c7cac6
docs: sidebar pixel-tweak
|
8 jaren geleden |
|
Marian Beermann
|
3fea2ac05e
docs: switch to a fresher theme
|
8 jaren geleden |
|
Marian Beermann
|
b1205a7932
docs: fix too small text in tables
|
8 jaren geleden |
|
Marian Beermann
|
02ada03486
docs: remove more boxes around monospace
|
8 jaren geleden |
|
Marian Beermann
|
8687495793
docs: css: avoid scroll bars on tables
|
8 jaren geleden |
|
Marian Beermann
|
dd8a815327
docs: html: format `option values` like in man pages
|
8 jaren geleden |
|
Marian Beermann
|
5d9beb5dd2
docs: html: less annoying `` in running text
|
8 jaren geleden |
|
Marian Beermann
|
501859ca33
docs: less bothersome experimental stripes
|
8 jaren geleden |
|
Marian Beermann
|
25bee21253
docs: deployment: Automated backups to a local hard drive
|
8 jaren geleden |
|
Marian Beermann
|
3664adb95d
docs: highlight experimental features in online docs
|
8 jaren geleden |
|
Marian Beermann
|
8fb7db71bc
docs: split usage
|
8 jaren geleden |
|
Marian Beermann
|
fc599befc9
docs: internals: columnize rather long ToC [webkit fixup]
|
8 jaren geleden |
|
Marian Beermann
|
fec0958b7f
docs: internals: columnize rather long ToC
|
8 jaren geleden |
|
Marian Beermann
|
4446577dd5
docs: less spacing between options
|
8 jaren geleden |
|
Thomas Waldmann
|
1974824595
Merge branch '1.0-maint'
|
9 jaren geleden |
|
sven
|
248ccf0149
Update borg.css
|
9 jaren geleden |
|
sven
|
ff04c059b7
Addjust border color
|
9 jaren geleden |
|
Marian Beermann
|
0a369c0985
Better help texts and Sphinx reproduction of usage
|
9 jaren geleden |
