diff --git a/docs/SystemLibrary.html b/docs/SystemLibrary.html
index 4d95dee6b21..7229813aad7 100644
--- a/docs/SystemLibrary.html
+++ b/docs/SystemLibrary.html
@@ -7,9 +7,11 @@
 </head>
 <body>
 
-<div class="doc_title"> System Library</div>
+<div class="doc_title">System Library</div>
 
-<div class="doc_warning">Warning: This document is a work in progress.</div>
+<div class="doc_warning">
+  <p>Warning: This document is a work in progress.</p>
+</div>
 
 <ul>
   <li><a href="#abstract">Abstract</a></li>
