15 Commits

Author	SHA1	Message	Date
Florine W. Dekker	2e33b8d762	Use mouse-enabled navbar for mobile ... Works towards fixing #35.	2022-11-24 17:38:08 +01:00
Florine W. Dekker	eb83cfa97c	Support linkess nav elements	2022-11-24 16:22:29 +01:00
Florine W. Dekker	570e9c5764	Add navbar shadows ... Fixes #32.	2022-11-23 11:59:50 +01:00
Florine W. Dekker	4d0f1dc5b4	Add border above some nav elements ... Borders were added in api-nav v0.1.0. Also simplify some CSS selectors, since they contained a lot of redundancy which made them harder to read.	2022-11-23 11:09:37 +01:00
Florine W. Dekker	2d46bf1969	Rewrite nav bar ... Fixes #31. Also resolves some small issues with incorrect margins and such.	2022-11-23 00:58:13 +01:00
Florine W. Dekker	527b52069b	Remove redundant colours ... Fixes #25.	2022-11-20 22:56:59 +01:00
Florine W. Dekker	8d5b6ef101	Improve nav, fix some inconsistencies	2022-11-19 17:20:35 +01:00
Florine W. Dekker	04095848c2	Resolve issues with nav size, add toc, etc.	2022-11-19 13:35:14 +01:00
Florine W. Dekker	2702e00880	Experimentally sort-of migrate to pico.css ... First step towards fixing #21.	2022-11-19 01:31:37 +01:00
Florine W. Dekker	a5f43c6436	Add separate classes for template elements ... Fixes #23.	2022-11-18 23:43:41 +01:00
Florine W. Dekker	70bbc76aa2	Prevent nav elements from obscuring each other ... Fixes #19.	2021-04-30 13:29:25 +02:00
Florine W. Dekker	9a3227b43f	Ensure whole nav row is clickable ... This is a regression because I accidentally removed the `width: 100%` when adding the hamburger menu. Fixes #18.	2021-04-28 12:26:01 +02:00
Florine W. Dekker	2e124c0815	Add small border to bottom of navbar	2021-04-22 19:23:13 +02:00
Florine W. Dekker	7b5590f9ea	Add non-JS hamburger menu ... Fixes #17.	2021-04-22 17:00:13 +02:00
Florine W. Dekker	86d6783ccc	Rename main exported files ... Also add a page for test purposes, and change the layout of the CSS files a bit.	2021-04-21 23:55:54 +02:00