derekovecs: replace former footer with about tab including references
diff --git a/css/derekovecs.css b/css/derekovecs.css
index ca9a5fa..f6caa72 100644
--- a/css/derekovecs.css
+++ b/css/derekovecs.css
@@ -3,7 +3,7 @@
     font-size: 11pt;
 }
 
-.info {
+.footer {
     font-size: 8pt;
     margin-top: 4px;
     padding-top: 8px;
@@ -16,6 +16,17 @@
    width: 98vw;
 }
 
+.footertext {
+    display: flow-root;
+    text-align: center;
+    color: grey;
+    font-size: 8pt;
+}
+
+.footertext a:any-link {
+    color: grey;
+}
+
 h1 {
     margin: 5px 10px 0 0;
     color: rgb(246,168,0);
@@ -42,6 +53,19 @@
     margin-left: 2px;
 }
 
+h3 {
+    color: rgb(246,168,0);
+    font-family: "Univers LT Std 47 Cn Lt", "Univers LT Std 67 Cn Lt", "Roboto Condensed", "Univers LT Std 67 Cn Bold", "UniversLTStd-BoldCn", "Times", 'League Gothic', Impact, sans-serif;
+    font-weight: bold;
+    /* line-height: 1.35; */
+    font-size: 18pt;
+    margin-bottom: 2pt;
+    letter-spacing: normal;
+    text-transform: uppercase;
+    text-shadow: none;
+    word-wrap: break-word;
+}
+
 showoptions, #SEARCH {
     margin-left: 10px;
     margin-right: 10px;
@@ -192,9 +216,9 @@
 }
 
 #options {
-    float: left;
+    /* float: left; */
     width: 800px;
-    margin: 10px;
+    margin: 20px auto 10px auto;
     overflow: hidden; /* if you don't want #second to wrap below #first */
 }
 
@@ -311,3 +335,39 @@
     right: 2vw;
     width: 200px;
 }
+
+#tabs-4, #tabs-3, #tabs-2, #tabs-1, #tabs-0, #wrapper {
+    display: flex;
+    justify-content: center;
+    place-items: center;
+}
+
+#info {
+    width: 90ex;
+    max-width: 90vw;
+}
+
+#info p {
+    text-align: justify;
+}
+
+#info pre {
+    font-family: "DejaVu Sans Mono", Inconsolata, SourceCodePro, "Courier New", Courier, monospace;
+}
+
+p.refkey {
+    font-size: 90%;
+    font-weight: bold;
+    text-align: left;
+    margin:  0;
+    color: #657b83; 
+}
+
+p.reference {
+    font-size: 90%;
+    text-align: left;
+    margin:  0;
+    margin-left:  2em;
+    margin-bottom: 1ex;
+    color: #657b83; 
+}