aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--html/Ocean.std-theme/ocean.css13
1 files changed, 5 insertions, 8 deletions
diff --git a/html/Ocean.std-theme/ocean.css b/html/Ocean.std-theme/ocean.css
index afb35b3c..5276a419 100644
--- a/html/Ocean.std-theme/ocean.css
+++ b/html/Ocean.std-theme/ocean.css
@@ -4,7 +4,6 @@
/* Is this portable? */
html {
-/* background-color: #f4f7f9; */
background-color: white;
width: 100%;
}
@@ -32,8 +31,6 @@ h3 { font-size: 120%; }
h4 { font-size: 110%; }
h5 { font-size: 105%; }
-/* a:hover { background: #D9CBB8; } */
-
/* @end */
/* @group Common */
@@ -45,7 +42,7 @@ h5 { font-size: 105%; }
}
* + h1, * + h2, * + h3, * + h4, * + h5, * + h6 {
- margin-top: 4em;
+ margin-top: 2em;
}
h1 + h2, h2 + h3, h3 + h4, h4 + h5, h5 + h6 {
@@ -63,7 +60,7 @@ ul.links {
ul.links li {
display: inline;
-/* border-left: 1px solid rgb(78,98,114); */
+ border-left: 1px solid rgb(78,98,114);
white-space: nowrap;
padding: 0;
}
@@ -98,7 +95,8 @@ p.caption.expander {
pre {
padding: 0.5em;
- margin: 0.5em 5em 0.5em 3em;
+/* margin: 0.5em 5em 0.5em 3em; */
+ margin: 0.5em 0 0.5em;
background: rgb(229,237,244);
overflow: auto;
}
@@ -247,7 +245,7 @@ div#style-menu-holder {
font-size: 80%;
padding: 0.5em 1em;
position: relative;
- top: 0em; /* use -5em to pull up into title area */
+ top: 0em;
margin: 0 0 1em 1em;
max-width: 20em;
}
@@ -362,7 +360,6 @@ div#style-menu-holder {
margin: 0;
}
-/* div.top code { border: 1px solid #ddd; } */
.top p.src {
border-top: 1px solid #ccc;
}