Add a label to codelines that includes the source file.

2020-09-27 14:41:56 -07:00
parent d3421733e1
commit 4be8a25699
2 changed files with 15 additions and 1 deletions
--- a/themes/vanilla/assets/scss/code.scss
+++ b/themes/vanilla/assets/scss/code.scss
@@ -5,6 +5,16 @@ $code-color-keyword: black;
 $code-color-type: black;
 $code-color-comment: grey;

+.highlight-label {
+    padding: 0.25rem 0.5rem 0.25rem 0.5rem;
+    border: $code-border;
+    border-bottom: none;
+
+    a {
+        font-family: $font-code;
+    }
+}
+
 code {
  font-family: $font-code;
  background-color: $code-color;