width tweak

Philip Guo · Philip Guo · commit f92ee2a15aa8 · 2012-09-11T14:28:14.000-07:00
diff --git a/v3/css/index.css b/v3/css/index.css
@@ -7,7 +7,7 @@ body {
   font-family: Georgia, Palatino, Times, serif;
 
   font-size: 12pt;
-  max-width: 1000px;
+  max-width: 900px;
   margin-left: auto;
   margin-right: auto;
 }
@@ -51,7 +51,6 @@ h2 {
 }
 
 div.mainBodyPane {
-  width: 100%;
   margin-left: auto;
   margin-right: auto;
 }

Original file line number	Diff line number	Diff line change
`@@ -7,7 +7,7 @@ body {`
`7`	`7`	`font-family: Georgia, Palatino, Times, serif;`
`8`	`8`
`9`	`9`	`font-size: 12pt;`
`10`		`- max-width: 1000px;`
	`10`	`+ max-width: 900px;`
`11`	`11`	`margin-left: auto;`
`12`	`12`	`margin-right: auto;`
`13`	`13`	`}`
`@@ -51,7 +51,6 @@ h2 {`
`51`	`51`	`}`
`52`	`52`
`53`	`53`	`div.mainBodyPane {`
`54`		`- width: 100%;`
`55`	`54`	`margin-left: auto;`
`56`	`55`	`margin-right: auto;`
`57`	`56`	`}`