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
..
main	Add border above some nav elements	2022-11-23 11:09:37 +01:00
test	Improve colour contrasts	2022-11-23 01:10:43 +01:00