remove redeclared font styles from <p> and rebuild

diff --git a/docs/assets/css/bootstrap.css b/docs/assets/css/bootstrap.css
index b218cadebd55dbff748ef8a64daeead983ff4e13..bf7372060c734e20d6a7c03cfee6f713b4f7c45b 100644 (file)
--- a/docs/assets/css/bootstrap.css
+++ b/docs/assets/css/bootstrap.css
@@ -418,9 +418,6 @@ a:hover {
 
 p {
   margin: 0 0 9px;
-  font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
-  font-size: 13px;
-  line-height: 18px;
 }
 
 p small {