GitHub/gf-rgl
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-rgl.git synced 2026-05-29 18:08:55 -06:00
Code Issues Packages Projects Releases Wiki Activity

RGL browser: fix scrolling to line

Browse Source
This commit is contained in:
john.j.camilleri
2013-07-24 07:07:50 +00:00
parent ec6479a772
commit 32e45060fb
3 changed files with 17 additions and 14 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
doc/browse/style.css
View File

@@ -154,7 +154,6 @@ input#search {
#code pre {
margin:0;
color:#000;
overflow:auto;
font: 12px monospace;
}
#code ol.linenums {