Alex Cabal ada834c365 Add missing font awesome source in core.css		2020-09-15 18:28:50 -05:00
..
core.css	Add missing font awesome source in core.css	2020-09-15 18:28:50 -05:00
manual.css	Move code headers to the right and tweak borders in the manual	2020-09-14 11:12:38 -05:00
monokai.css	Update manual to new draft version	2020-03-26 19:19:08 -05:00
reset.css	Tweak CSS for dark mode and accessibility	2019-10-24 16:25:55 -05:00