1 files changed, 13 insertions, 0 deletions
diff --git a/resources/html/Ocean.std-theme/ocean.css b/resources/html/Ocean.std-theme/ocean.css
index b9ad560e..3d81c3ca 100644
--- a/resources/html/Ocean.std-theme/ocean.css
+++ b/resources/html/Ocean.std-theme/ocean.css
@@ -420,6 +420,19 @@ div#style-menu-holder {
   margin: 0;
 }
 
+.subs ul {
+  height: 100%;
+  padding: 0.5em;
+  margin: 0;
+}
+
+.subs ul,
+.subs ul li.src {
+  list-style: none;
+  margin-left: 1em;
+}
+
+
 .top p.src {
   border-top: 1px solid #ccc;
 }