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>