]> gitweb.factorcode.org Git - factor.git/commit
help.html: use help-header-background color exactly.
authorJohn Benediktsson <mrjbq7@gmail.com>
Tue, 11 Jan 2022 04:51:05 +0000 (20:51 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Tue, 11 Jan 2022 04:51:05 +0000 (20:51 -0800)
commite23bcdef804a1e6a96186b4bc97ad6f144c0846b
treefa5d2640d162e02691d823a9c3d324c3c237465f
parentae6b8f563c0e41e6f2689717cfb8702760f4f503
help.html: use help-header-background color exactly.
basis/help/html/html.factor