diff options
| -rw-r--r-- | src/pretty.css | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/src/pretty.css b/src/pretty.css index 8895690..ca5c300 100644 --- a/src/pretty.css +++ b/src/pretty.css @@ -8,6 +8,7 @@ body { background: white; box-shadow: 2px 2px 10px 2px rgba(0,0,0,.2); font-family: 'Frank Ruhl Libre', Times, serif; + font-size: 100%; padding: 1em; } @@ -17,7 +18,8 @@ body { h1,h2,h3,h4,h5,h6, div.navheader,div.navfooter, -div.toc,div.list-of-tables,div.list-of-examples { +div.toc,div.list-of-tables,div.list-of-examples, +.keymap { font-family: 'IBM Plex Sans', 'Helvetica Neue', Helvetica, sans-serif; } @@ -72,3 +74,11 @@ code.prompt { em.parameter { font-style: normal; } + +.keymap { + border: 1px solid black; + border-radius: 6px; + box-shadow: 0 0 1px #333; + font-size: 14px; + padding: 2px; +} |