X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fpintos.css;h=0af878f2f63d52ad36613b21ee1fdb1e7daaaa7d;hb=3edcfedb8e62970f3293fa676b6691f8658c3c11;hp=3dee90c4782ed4a7dbd1da9b78cab1e7f7ad8dd8;hpb=5c9a85f896e888b26c6101e42d2b1072c7443e80;p=pintos-anon

diff --git a/doc/pintos.css b/doc/pintos.css
index 3dee90c..0af878f 100644
--- 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,12 +36,19 @@ 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
 }
+b, strong {
+	font-weight: bold
+}
 
 a:link {
 	color: blue;