Verified Commit c0021510 authored by A. Wilcox's avatar A. Wilcox

CSS: Make keycaps look like keycaps

parent b0da040e
......@@ -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;
}
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment