diff options
Diffstat (limited to 'resources/gitblit.css')
| -rw-r--r-- | resources/gitblit.css | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/resources/gitblit.css b/resources/gitblit.css index 861fc411..bbd3c0c2 100644 --- a/resources/gitblit.css +++ b/resources/gitblit.css @@ -178,6 +178,19 @@ pre.prettyprint ol { vertical-align:top;
}
+/* CSS trick to workaround #link topOfWindow offset problem */
+#lines .line {
+ border-top: 160px solid transparent;
+ margin-top: -160px;
+ -webkit-background-clip: padding-box;
+ -moz-background-clip: padding;
+ background-clip: padding-box;
+}
+
+#lines span:target {
+ background-color: #ffffbf;
+}
+
#nums pre {
white-space: pre;
}
|