Unrud
73bbc8e86d
Rename default.css to all.css
2022-09-15 01:15:49 +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
61b660405b
Indent html with two spaces
2022-04-24 19:14:27 +02:00
Unrud
5a94d0b8bf
Remove indentations in template body
2022-04-24 19:14:26 +02:00
Unrud
2895d7cd23
Fix broken code blocks
2021-12-13 22:47:11 +01: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
e48a0a15d7
Remove " around branch name
2021-12-05 02:59:43 +01:00
Unrud
43dc53d794
Escape template variables
2021-12-05 02:59:43 +01:00
Unrud
5b89726ba0
Change title
2020-05-22 16:44:29 +02:00
Unrud
6a9d090cc2
Improve page title
2020-05-19 03:50:50 +02:00
Unrud
237a66eff8
Add branch to title
2020-04-24 14:51:00 +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
78c1b71440
Remove legacy shortcut keyword
2020-03-01 23:01:08 +01:00
Unrud
b9c93d3e11
Implement side menu for narrow screens
2020-03-01 20:12:40 +01:00
Unrud
0d7e746708
Remove X-UA-Compatible header
2020-02-27 15:29:21 +01:00
Unrud
053dc33dbb
Revert permalinks
2020-02-27 15:02:30 +01:00
Unrud
eba6583f96
Add trailing / to permalinks
2020-02-27 14:45:13 +01:00
Unrud
7c44c9ca14
Use absolute permalinks
...
Relative links don't work as expected
2020-02-27 14:39:15 +01:00
Unrud
d29434d8af
Use relative permalinks
2020-02-27 14:36:09 +01:00
Unrud
06f0815d79
Use permalinks
2020-02-27 14:32:22 +01:00
Unrud
bbfae8c131
Move documentation-tools/ to documentation-generator/
2020-02-27 03:42:49 +01:00