diff options
-rw-r--r-- | src/pretty.css | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/pretty.css b/src/pretty.css index ca5c300..f23fa5c 100644 --- a/src/pretty.css +++ b/src/pretty.css @@ -19,7 +19,7 @@ body { h1,h2,h3,h4,h5,h6, div.navheader,div.navfooter, div.toc,div.list-of-tables,div.list-of-examples, -.keymap { +.keycap { font-family: 'IBM Plex Sans', 'Helvetica Neue', Helvetica, sans-serif; } @@ -75,7 +75,7 @@ em.parameter { font-style: normal; } -.keymap { +.keycap { border: 1px solid black; border-radius: 6px; box-shadow: 0 0 1px #333; |