Tweak docs site styling

This commit is contained in:
Graham Esau 2019-12-14 15:35:56 +00:00
parent 43ac3fddb6
commit ccb7f48c3b
2 changed files with 16 additions and 3 deletions

View file

@ -130,4 +130,16 @@ xl: 1400px
.aux-nav a:not([class]), .aux-nav a:not([class]):hover {
background: none;
}
.aux-nav .mr-2 {
margin-right: 0.1rem !important;
}
pre.highlight, figure.highlight {
line-height: 1.2em;
}
pre.highlight code, figure.highlight code {
font-size: 14px;
}