1 files changed, 14 insertions, 1 deletions
diff --git a/src/pretty.css b/src/pretty.css
index 8895690..ef4b94e 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,
+.keycap {
 	font-family: 'IBM Plex Sans', 'Helvetica Neue', Helvetica, sans-serif;
 }
 
@@ -72,3 +74,14 @@ code.prompt {
 em.parameter {
 	font-style: normal;
 }
+
+.keycap {
+	border: 1px solid black;
+	border-radius: 6px;
+	box-shadow: 0 0 1px #333;
+	display: inline-block;
+	font-size: 14px;
+	padding: 2px;
+	text-align: center;
+	width: 24px;
+}