From 1e0955234e7237ce7e09822ac0328347b22f03d2 Mon Sep 17 00:00:00 2001
From: Marcel Schneider <marcel@webschneider.org>
Date: Mon, 17 Dec 2018 11:47:26 +0100
Subject: [PATCH] support for keycaps

---
 static/css/style.css | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/static/css/style.css b/static/css/style.css
index dc31dee..46c8ce7 100644
--- a/static/css/style.css
+++ b/static/css/style.css
@@ -670,3 +670,18 @@ p code {
     background-color:#EEE;
     padding: 4px;
 }
+
+kbd {
+    background: #EEEEEE none repeat scroll 0 0;
+    border-color: #CCCCCC #AAAAAA #888888 #BBBBBB;
+    border-style: solid;
+    border-width: 1px 1px 2px 2px;
+    color: #000000;
+    padding: 0.1rem 0.2rem;
+    padding-top: 0.1rem;
+    padding-right: 0.2rem;
+    padding-bottom: 0.1rem;
+    padding-left: 0.2rem;
+    white-space: nowrap;
+    font-family: 'Ubuntu Mono', 'Source Code Pro', Menlo, Monaco, Courier;
+}