doc/common.css in ruby-vpi-15.0.0 vs doc/common.css in ruby-vpi-15.0.1

- old
+ new

@@ -1,11 +1,10 @@ body { font-family: sans-serif; - margin: 1em; - margin-left: 30%; - margin-bottom: 3em; + margin-left: auto; + margin-right: auto; max-width: 600px; } /* headings */ @@ -20,30 +19,23 @@ } /* table of contents */ -#navigation { +#menu { position: fixed; left: 0px; top: 0px; - bottom: 0px; - max-width: 25%; - padding: 1em; - overflow: auto; -} + background-color: ghostwhite; + border-bottom: thin solid lavender; + width: 100%; -#navigation h1, #navigation h2, #navigation h3, #navigation h4, #navigation h5, #navigation h6 { - font-size: smaller; + text-align: center; } -#navigation ul { - margin-left: -1.75em; -} - /* admonitions */ .admonition { border: thin solid steelblue; background-color: aliceblue; @@ -53,11 +45,11 @@ min-height: 170px; } .admonition img { - margin-right: 1em; + margin-right: 2em; } /* source code */ @@ -111,15 +103,15 @@ } /* center-align any tables and images */ - .formal table, .formal img, #navigation img { + .formal table, .formal img { margin-left: auto; margin-right: auto; } - .formal img, #navigation img { + .formal img { display: block; } /* misc. */