math/logic: formatting

Author: soimort

math/logic/index.html

@@ -51,6 +51,7 @@ <h1 class="title">Mathematical Logic</h1>
 <li>Paul Halmos. <strong><em>Naive Set Theory.</em></strong></li>
 </ul>
 <p>The first book also provides a fair introduction to propositional (sentential) logic.</p>
+<hr />
 <section id="classical-logic" class="level1">
 <h1><span class="header-section-number">1</span> Classical Logic</h1>
 <p>Textbook:</p>

math/logic/src.md

@@ -11,7 +11,7 @@
 
 The first book also provides a fair introduction to propositional (sentential) logic.
 
-
+---
 
 # Classical Logic