diff options
Diffstat (limited to 'docs/assets/css/docs.css')
| -rw-r--r-- | docs/assets/css/docs.css | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/docs/assets/css/docs.css b/docs/assets/css/docs.css index ede141ce5..96c9ffb97 100644 --- a/docs/assets/css/docs.css +++ b/docs/assets/css/docs.css @@ -221,6 +221,9 @@ div.topbar-wrapper { div.topbar-wrapper div.topbar { position: absolute; margin: 0 -20px; +} + +div.topbar-wrapper div.topbar .fill { padding-left: 20px; padding-right: 20px; -webkit-border-radius: 4px; @@ -253,4 +256,10 @@ div.popover-well div.popover-menu-wrapper { img.large-bird { margin: 5px 0 0 310px; opacity: .1; +} + +/* Pretty Print +-------------------------------------------------- */ +PRE.prettyprint { + overflow: hidden; }
\ No newline at end of file |