Commit df2078f7 authored by Thomas Boni's avatar Thomas Boni
Browse files

reduce the size of lines number

parent c7170a9c

docs/css/extra.css

+4 −0
Original line number Diff line number Diff line
@@ -247,3 +247,7 @@ button.md-button-center:hover { 
.md-typeset code {

    font-size: .75em;

}



.codehilitetable .linenos, .highlighttable .linenos {

    font-size: .75em;

}