theme: minor border tweak

Sam Kleinman · Sam Kleinman · commit 57e44731a7cd · 2012-12-04T18:23:06.000-05:00
diff --git a/themes/mongodb/static/mongodb-docs.css_t b/themes/mongodb/static/mongodb-docs.css_t
@@ -190,7 +190,7 @@ div.body h6 {
     padding: 0;
 }
 
-div.body h1 { border-top: 15px solid white; margin-top: 0; font-size: 200%; }
+div.body h1 { border-top: 5px solid white; margin-top: 0; font-size: 200%; }
 div.body h2 { font-size: 150%; }
 div.body h3 { font-size: 120%; }
 div.body h4 { font-size: 110%; }

Original file line number	Diff line number	Diff line change
`@@ -190,7 +190,7 @@ div.body h6 {`
`190`	`190`	`padding: 0;`
`191`	`191`	`}`
`192`	`192`
`193`		`-div.body h1 { border-top: 15px solid white; margin-top: 0; font-size: 200%; }`
	`193`	`+div.body h1 { border-top: 5px solid white; margin-top: 0; font-size: 200%; }`
`194`	`194`	`div.body h2 { font-size: 150%; }`
`195`	`195`	`div.body h3 { font-size: 120%; }`
`196`	`196`	`div.body h4 { font-size: 110%; }`