Delete extra space; add <p> tags around text within a <div>


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@15079 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/docs/SystemLibrary.html b/docs/SystemLibrary.html
index 4d95dee..7229813 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>