12 commits

Author	SHA1	Message	Date
Unrud	73bbc8e86d	Rename default.css to all.css	2022-09-15 01:15:49 +02:00
Unrud	dc9b43c907	Make header link not selectable	2022-09-15 01:13:43 +02:00
Unrud	b2da63511e	Update CSS ... * Print: Remove link color and show link target * Set correct value for `display` not `initial` * Don't reset font-family for select optionn * Remove default stylesheet * Cosmetic changes	2022-08-08 07:13:03 +02:00
Unrud	7d0ab1efc5	Run JS earlier	2022-07-28 16:21:24 +02:00
Unrud	8cfe545042	Hide <select> and navigation buttons in HTML	2021-12-05 14:00:49 +01:00
Unrud	664ddc6737	Insert branches into <select> in template	2021-12-05 14:00:49 +01:00
Unrud	43dc53d794	Escape template variables	2021-12-05 02:59:43 +01:00
Unrud	4b5483175c	Optimize CSS	2020-08-20 15:38:18 +02:00
Unrud	010fd02601	Add arrow to branch drop-down menu	2020-04-04 15:30:03 +02:00
Unrud	ed54787e8c	Fix navigation on Android Chrome	2020-03-23 20:49:08 +01:00
Unrud	8fb12bbc49	Fix scrollbars on WebKit	2020-03-08 19:43:04 +01:00
Unrud	01f8e976e1	Switch to new website	2020-03-02 03:04:37 +01:00