John Benediktsson 1ee94a168b ui.theme.images: minor scroll arrow fixes.		2020-05-18 21:20:10 -07:00
..
images	ui.theme.images: minor scroll arrow fixes.	2020-05-18 21:20:10 -07:00
switching	prettyprint.stylesheet: s/stack-effect-style/base-effect/style/.	2020-02-26 11:18:18 -08:00
authors.txt	…
summary.txt	…
theme.factor	prettyprint.stylesheet: change stack effects to not be green.	2020-02-26 11:07:46 -08:00