Skip to content

Commit

Permalink
Browse files Browse the repository at this point in the history
help.html: round other colored boxes
  • Loading branch information
mrjbq7 committed Jun 29, 2022
1 parent df96aba commit f9bec76
Showing 1 changed file with 5 additions and 1 deletion.
6 changes: 5 additions & 1 deletion basis/help/html/html.factor
Expand Up @@ -141,7 +141,11 @@ M: pathname url-of
] re-replace-with

{ "font-family: monospace;" "background-color:" } [ over subseq? ] all? [
" border: 1px solid #e3e2db; border-radius: 5px; margin: 10px 0px;" append
" border: 1px solid #e3e2db; margin: 10px 0px;" append
] when

{ "border:" "background-color:" } [ over subseq? ] all? [
" border-radius: 5px;" append
] when ;

: fix-help-header ( classes -- classes )
Expand Down

0 comments on commit f9bec76

Please sign in to comment.