Improved search interface

This commit is contained in:
Silvio Giebl
2019-12-03 09:12:54 +01:00
parent d66ebdec4b
commit 804cad6c4d
7 changed files with 134 additions and 82 deletions

View File

@@ -15,6 +15,7 @@ pre.highlight,
figure.highlight {
padding: $sp-3;
margin-bottom: 0;
border-radius: $border-radius;
-webkit-overflow-scrolling: touch;
background-color: $code-background-color;
@@ -26,7 +27,6 @@ figure.highlight {
.highlighter-rouge {
margin-bottom: $sp-3;
border-radius: $border-radius;
}
.highlight .c { color: #586e75; } // comment //