|
|
d0145d4359
|
docs: rename css and js includes to have their version numbers in
|
2020-05-27 17:31:09 +01:00 |
|
|
|
ab4a2275eb
|
docs: add copy to clipboard javascript
add popper library for popup menus
|
2020-05-27 17:31:08 +01:00 |
|
|
|
af19f924ff
|
docs: layout tweaks
|
2020-05-27 17:31:08 +01:00 |
|
|
|
cdecb44789
|
docs: update bootstrap to 4.4.1 and jQuery to 3.5.1
|
2020-05-27 17:31:08 +01:00 |
|
|
|
8a771450d2
|
docs: Add hover over links on headings
|
2016-08-22 17:21:06 +01:00 |
|
|
|
2b70658b2c
|
Redesign website from scratch using new hugo template
|
2014-05-16 22:02:47 +01:00 |
|
|
|
40f755df20
|
Rename docs directory
|
2014-04-17 22:32:39 +01:00 |
|
