| Commit message (Collapse) | Author | ||
|---|---|---|---|
| 2022-04-14 | bootstrap: lower navbar height | Egor Tensin | |
| This is experimental, I'm not sure it actually makes the navbar look better, especially on mobile. | |||
| 2022-03-23 | bootstrap: color navbar light blue | Egor Tensin | |
| 2022-03-22 | bootstrap: boost font to 16px | Egor Tensin | |
| Also, color the badges in the config. | |||
| 2021-11-08 | Revert "bootstrap: make headers smaller still" | Egor Tensin | |
| On second thought, the headers were fine. If I make them smaller, they become too similar to the text. This reverts commit 7a0b1689564055a98512fdd09ea94ae82210b096. | |||
| 2021-11-08 | bootstrap: make headers smaller still | Egor Tensin | |
| 2021-06-05 | bundle modified Bootstrap 3bundled_bootstrap | Egor Tensin | |
