Robin Whittleton 8499cfeaad Make sure that headers scrolled in view on mobile ... Currently, when clicking on a ToC link in a single page web version, the title for that section is hidden under the fixed banner. We can use `scroll-margin-top` to add a little additional scroll amount to scroll the header into view. `3em` matches the current top margin of `3em` on headings and hgroups.		2022-10-01 12:34:22 -05:00
..
core.css	Update sponsor information	2022-09-01 11:08:18 -05:00
dark.css	work	2022-07-10 00:55:24 -05:00
feed.css	Add XSLT stylesheet for RSS feed	2022-06-19 21:11:43 -05:00
manual-dark.css	Fix text background color in SEMOS dark mode	2022-05-09 15:45:31 -05:00
manual.css	Tweak wrapping in manual CSS	2022-08-28 20:03:56 -05:00
monokai.css	Update manual to new draft version	2020-03-26 19:19:08 -05:00
web.css	Make sure that headers scrolled in view on mobile	2022-10-01 12:34:22 -05:00