common.css in ruby-vpi-14.0.0

- old
+ new

@@ -1,11 +1,10 @@
 body {
   font-family: sans-serif;
 
-  margin-left: 275px;
-  margin-right: 50px;
-  margin-bottom: 5em;
+  margin: 1em;
+  margin-left: 30%;
   max-width: 600px;
 }
 
 
 /* headings */
@@ -14,76 +13,57 @@
   font-family: serif;
 }
 
 h1, h2, h3, h4, h5, h6 {
   margin-top: 3em;
-  padding: 0.5em;
+  border-bottom: thin solid silver;
 }
 
-h1, h2, h3 {
-  text-align: center;
-  -moz-border-radius: 1em;
-  border-radius: 1em;
-}
 
-h1 {
-  padding: 1em;
-  background-color: mistyrose;
-}
-
-h2 {
-  background-color: bisque;
-}
-
-h3 {
-  background-color: oldlace;
-}
-
-
 /* table of contents */
 
 #navigation {
   position: fixed;
   left: 0px;
   top: 0px;
   bottom: 0px;
 
-  max-width: 200px;
+  max-width: 25%;
   padding: 1em;
   overflow: auto;
-
-  background-color: white;
 }
 
 #navigation h1, #navigation h2, #navigation h3, #navigation h4, #navigation h5, #navigation h6 {
   font-size: smaller;
 }
 
-#navigation li {
-  margin-left: -1.25em;
+#navigation ul {
+  margin-left: -1.75em;
 }
 
 
 /* admonitions */
 
 .admonition {
   border: thin solid steelblue;
   background-color: aliceblue;
   padding: 1em;
-  padding-top: 0px;
+  margin-bottom: 1em;
+  margin-top: 1em;
+
+  min-height: 170px;
 }
 
 .admonition img {
   margin-right: 1em;
 }
 
 
 /* source code */
 
 tt {
-  font-weight: bold;
-  background-color: lemonchiffon;
+  background-color: #cfc;
 }
 
 pre, blockquote .code {
   padding: 1em;
   line-height: normal;
@@ -142,23 +122,16 @@
   }
 
 
 /* misc. */
 
-.cover-page {
-  text-align: center;
-}
-
 a img {
   border: none;
 }
 
 em, strong {
   font-family: serif;
 }
 
-
-  /* extra spacing before big block elements */
-
-  .admonition, .figure {
-    margin-top: 3em;
-  }
+.formal .title {
+  margin-top: 3em;
+}