diff --git a/docs/user/book.css b/docs/user/book.css
index f245544435d..41cff2d11a7 100644
--- a/docs/user/book.css
+++ b/docs/user/book.css
@@ -681,11 +681,10 @@ div.memproto {
 	padding: 4px;
 	background-color: #f3f3f3; /* concrete */
 	border: 1px solid #c0c0c0; /* silver */
-	font-size: 13px;
 }
 
 div.memproto table {
-	font-size: 13px;
+	font-size: 14.4px;
 }
 
 /* member table */