diff --git a/docs/user/book.css b/docs/user/book.css
index e5d0fc4e3d..f245544435 100644
--- a/docs/user/book.css
+++ b/docs/user/book.css
@@ -26,13 +26,14 @@ body,div,dl,dt,dd,ul,ol,li,h1,h2,h3,h4,h5,h6,pre,form,fieldset,input,textarea,
 body {
 	color: #333333; /* mine shaft */
 	background-color: white;
+	font-size: 14.4px;
 	font-family: "DejaVu Sans", Arial, sans-serif;
 }
 
 h1, h2, h3, h4, h5, h6 {
 	color: #0c3762; /* madison */
-	margin-top: 0.5em;
-	margin-bottom: 0.5em;
+	margin-top: 1em;
+	margin-bottom: 1em;
 }
 
 h1 {
@@ -64,7 +65,6 @@ h5, h6 {
 }
 
 p {
-	font-size: 14.4px;
 	margin-top: 0.5em;
 	margin-bottom: 0.5em;
 }
@@ -78,7 +78,6 @@ td, th {
 	vertical-align: top;
 	text-align: left;
 	padding: 4px;
-	font-size: 14.4px;
 }
 
 caption {
@@ -165,16 +164,16 @@ div.summary {
 }
 
 div.headertitle {
-	margin: 0 auto;
 	width: 59em;
 }
 
 div.headertitle div.title {
 	color: #0c3762; /* madison */
-	font-size: 1.2em;
+	font-size: 1.3em;
 	font-weight: bold;
-	margin-top: 0.5em;
-	margin-bottom: 0.5em;
+	border-bottom: dotted thin #c0c0c0; /* silver */
+	margin-top: 1em;
+	margin-bottom: 1em;
 }
 
 .ingroups {
@@ -252,7 +251,6 @@ div.contents {
 }
 
 div.contents ul, div.contents ol {
-	font-size: 14.4px;
 	line-height: 1.3;
 }
 
@@ -295,7 +293,6 @@ div.contents span.keycap, div.contents span.keysym {
 }
 
 div.contents div.textblock {
-	width: 95%;
 	margin-bottom: 20px;
 }
 
@@ -313,7 +310,7 @@ div.contents li {
 }
 
 div.contents dd {
-	font-size: 14.4px;
+	font-size: 12px;
 }
 
 div.contents dt {
@@ -323,13 +320,12 @@ div.contents dt {
 
 /* The boxes from the userguide */
 dl.note, dl.remark, dl.warning, dl.attention {
-	width: 100%;
 	border-style: solid;
 	border-width: 2px;
 	margin-top: 24px;
 	margin-bottom: 24px;
 	padding: 4px;
-	min-height: 64px;
+	min-height: 48px;
 }
 
 dl.note {