Ed Ward 1965895da8 CSS: Clearer difference between menus and buttons, more elegant code		2021-08-31 21:39:51 +02:00
..
bootstrap-3.3.7	Update to bootstrap 3.3, minor tweaks	2017-04-18 15:16:31 -07:00
css	CSS: Clearer difference between menus and buttons, more elegant code	2021-08-31 21:39:51 +02:00
files	Documenting the monitor section and adding a missing pdf file	2017-01-19 14:39:32 +01:00
images	CSS: Clearer difference between menus and buttons, more elegant code	2021-08-31 21:39:51 +02:00
index.html	Small detail: made the redirection page W3C-compliant	2017-04-23 07:47:34 -07:00