]> gitweb.factorcode.org Git - factor.git/commit
help.stylesheet: giving code blocks a border color
authorJohn Benediktsson <mrjbq7@gmail.com>
Mon, 25 Jul 2022 21:17:05 +0000 (14:17 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Mon, 25 Jul 2022 21:17:05 +0000 (14:17 -0700)
commitcac3c968f1ecdcfe651de2ce8c7afc8c6abfc363
tree580974ad690ab9643051aeea5cb47fd3048138c4
parent2d7487ea5e0e4734bf41630a8e1db963cb7aed18
help.stylesheet: giving code blocks a border color
basis/help/stylesheet/stylesheet.factor
basis/ui/theme/switching/tools/tools.factor
basis/ui/theme/theme.factor