Update theme files in /docs

This commit is contained in:
Michael Rose
2017-02-21 10:08:09 -05:00
parent 474c5c61a2
commit 0f4036b797
13 changed files with 174 additions and 105 deletions

View File

@ -46,7 +46,7 @@ figure.highlight {
padding: 5px;
border: 0;
// line numbers
/* line numbers*/
&.gutter {
padding-right: 1em;
color: $light-gray;