diff options
Diffstat (limited to 'html')
| -rw-r--r-- | html/Ocean.std-theme/ocean.css | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/html/Ocean.std-theme/ocean.css b/html/Ocean.std-theme/ocean.css index 061506ee..2376ab51 100644 --- a/html/Ocean.std-theme/ocean.css +++ b/html/Ocean.std-theme/ocean.css @@ -322,6 +322,15 @@ div#style-menu-holder { #interface div.top { margin: 1em 0 0.5em 0; } +#interface p.src .link { + float: right; + color: #919191; + border-left: 1px solid #919191; + background: #f0f0f0; + padding: 0 0.5em 0.2em; + margin: 0 -0.5em 0 0.5em; +} + #interface table { border-spacing: 2px; } #interface td { vertical-align: top; |