diff --git a/html/Ocean.std-theme/ocean.css b/html/Ocean.std-theme/ocean.css index 171c72e3e08ff1bdbc76f7f4a62bfe0ffaff4333..e0ba8b0cc3753719e0ea5b4e08562f6a3cd0b3e2 100644 --- a/html/Ocean.std-theme/ocean.css +++ b/html/Ocean.std-theme/ocean.css @@ -216,8 +216,10 @@ table.info { color: rgb(78,98,114); background-color: #fff; max-width: 40%; - margin: -1em 0 1em 1em; border-spacing: 0; + position: relative; + top: -0.5em; + margin: 0 0 0 2em; } .info th { @@ -283,10 +285,8 @@ div#style-menu-holder { background: #faf9dc; border: 1px solid #d8d7ad; padding: 0.5em 1em; - position: relative; - top: 0em; - margin: 0 0 1em 1em; max-width: 20em; + margin: 0.5em 0 1em 1em; } #table-of-contents .caption {