commit again

2019-04-30 14:47:00 -06:00
parent e239bda6d0
commit 974dc713fa
18 changed files with 883 additions and 23 deletions
@@ -10,18 +10,22 @@
 <%@ page contentType="text/html;charset=UTF-8" pageEncoding="UTF-8" %>
 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
 <html>
+
 <head>
  <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
  <title>Pandamonium™ Theorem Prover</title>
+  <link type="text/css" href="/css/bootstrap.css" rel="stylesheet" />
 </head>
-<body>
-<div>
-  <div>
+
+<center>
+  <div id="example1">
    <h1>Theorem Prover</h1>
    <h2>Hello! Welcome to Pandamonium™ Theorem Prover!!</h2>
-
-    Click on this <strong><a href="/theorem/">link</a></strong> to visit theorem entering page.
-  </div>
+    <h4>
+      Click on this <strong><a href="/theorem/">link</a></strong> to visit theorem entering page.
+    </h4>
+</center>
 </div>
 </body>
+
 </html>