Make tests public. Rewrite most tests. Add tests.

[pintos-anon] / doc / pintos.css

diff --git a/doc/pintos.css b/doc/pintos.css
index 3dee90c4782ed4a7dbd1da9b78cab1e7f7ad8dd8..f904001d7a3d9188471ec59b2a360872db44102f 100644 (file)
--- a/doc/pintos.css
+++ b/doc/pintos.css
@@ -2,7 +2,11 @@ body {
        background: white;
        color: black;
        padding: 0em 1em 0em 3em;
-       margin: 0
+       margin: 0;
+       margin-left: auto;
+       margin-right: auto;
+       max-width: 8in;
+       text-align: justify
 }
 body>p {
        margin: 0pt 0pt 0pt 0em;
@@ -32,10 +36,14 @@ H1, H2, H3, H4, H5, H6 {
        font-family: sans-serif;
        color: blue
 }
+H1, H2 {
+       text-decoration: underline
+}
 html {
-       margin: 0
+       margin: 0;
+       font-weight: lighter
 }
-code {
+tt, code {
        font-family: sans-serif
 }