Added blank "Documentation" page

2a8e2488 · Taddeus Kroes · ac836f42 · 2a8e2488 · 2a8e2488
Commit 2a8e2488 authored 12 years ago by Taddeus Kroes
--- a/src/frontend/css/docs.css
+++ b/src/frontend/css/docs.css
+body {
+    padding-top: 40px;
+    background-color: #f9f9f9;
+}
--- a/src/frontend/tpl/docs.html
+++ b/src/frontend/tpl/docs.html
@@ -3,7 +3,7 @@
    <head>
        <meta http-equiv="content-type" content="text/html; charset=utf-8">
        <title>Mathematical term rewriting frontend</title>
-        <link rel="stylesheet" href="/static/frontend/css/editor.css">
+        <link rel="stylesheet" href="/static/frontend/css/docs.css">
        <link rel="stylesheet" href="/static/bootstrap/css/bootstrap.min.css">
    </head>
    <body>
@@ -31,6 +31,12 @@
        </div>

        <div class="container">
+            <div class="page-header">
+                <h1>Documentation</h1>
+            </div>
+            <section>
+                <p>This page is on the TODO list...</p>
+            </section>
        </div>

        <script type="text/javascript" src="/static/js/jquery-1.8.2.min.js"></script>