Fix search when looking to sources

This commit is contained in:
Guillaume Gomez 2017-05-11 22:28:13 +02:00
parent e40beb3af1
commit 75b69c453b

View File

@ -236,6 +236,9 @@ nav.sub {
overflow: auto;
padding-left: 0;
}
#search {
margin-left: 230px;
}
.content pre.line-numbers {
float: left;
border: none;