lint, and detect new requests

2020-02-24 10:17:33 +00:00
parent 72789897a0
commit 0663ab3b87
2 changed files with 24 additions and 10 deletions
@@ -195,7 +195,7 @@ limitations under the License.
    border-radius: 3px;
    padding: 1px 5px;
    margin-bottom: 6px;
-    font-family: "Inconsolata", courier;
+    font-family: $monospace-font-family;

    dl {
        display: grid;
@@ -222,4 +222,4 @@ limitations under the License.
    dt::after {
        content: ":";
    }
-}
+}