From c0021510550cd7342a4446ef0c0652b55e1b5591 Mon Sep 17 00:00:00 2001 From: "A. Wilcox" Date: Sun, 24 Nov 2019 12:16:58 -0600 Subject: CSS: Make keycaps look like keycaps --- src/pretty.css | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) (limited to 'src/pretty.css') 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; +} -- cgit v1.2.3-70-g09d2