diff --git a/html/Ocean.std-theme/ocean.css b/html/Ocean.std-theme/ocean.css
index 061506ee223cd673090ceeece6ec56a05dc232fd..2376ab511ff5dda02ac68fa3edab932ac7e79eb7 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;