diff options
author | A. Wilcox <AWilcox@Wilcox-Tech.com> | 2019-11-24 12:16:58 -0600 |
---|---|---|
committer | A. Wilcox <AWilcox@Wilcox-Tech.com> | 2019-11-24 12:16:58 -0600 |
commit | c0021510550cd7342a4446ef0c0652b55e1b5591 (patch) | |
tree | 69f35c72ea57e502ec996f2844786e523d7d81c8 | |
parent | b0da040e91efeddf8dde49f15cb78b096ba76679 (diff) | |
download | docs-c0021510550cd7342a4446ef0c0652b55e1b5591.tar.gz docs-c0021510550cd7342a4446ef0c0652b55e1b5591.tar.bz2 docs-c0021510550cd7342a4446ef0c0652b55e1b5591.tar.xz docs-c0021510550cd7342a4446ef0c0652b55e1b5591.zip |
CSS: Make keycaps look like keycaps
-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; +} |