Tactical commit before attempting recursive validation

2023-01-10 20:36:00 +00:00 · 2023-01-10 20:36:00 +00:00 · 440ea003e2
commit 440ea003e2
parent a185edb9da
8 changed files with 39 additions and 28 deletions
--- a/docs/css/ft-syntax-highlight.css
+++ b/docs/css/ft-syntax-highlight.css
--- a/docs/css/style.css
+++ b/docs/css/style.css
@ -0,0 +1,175 @@
+@import url('ft-syntax-highlight.css');
+
+body {
+    color: #333;
+    background-color: #f2f2f2;
+    font-family: 'Helvetica Neue', Helvetica, Arial, sans-serif;
+    padding: 1em 5em;
+}
+
+h1,h2,h3,h4,h5,h6,th {
+    font-family: 'Archivo Black', Helvetica, Arial, sans-serif;
+}
+
+th,td {
+    border: thin solid darkgray;
+    padding: 0.25em 1em;
+    text-align: left;
+    vertical-align: top;
+}
+
+.info {
+    background-color: lightgreen;
+}
+
+.minor {
+    background-color: greenyellow;
+}
+
+.should {
+    background-color: orange;
+}
+
+.must {
+    background-color: orangered;
+    color: white;
+}
+
+.critical {
+    background-color: maroon;
+    color: white;
+}
+
+th {
+    background-color: silver;
+}
+
+.container {
+    max-width: 1000px;
+}
+
+.right {
+    float: right;
+    text-align: right;
+}
+
+.navbar {
+    border-radius: 0;
+    box-shadow: 0 0 0 0, 0 6px 12px rgba(34, 34, 34, 0.3);
+}
+
+.navbar-default {
+    background-color: #002b00;
+    border: none;
+}
+
+.navbar-default .navbar-brand {
+    color: #fff;
+    font-family: 'Archivo Black', Helvetica, Arial, sans-serif;
+}
+
+.navbar-default .navbar-brand:hover {
+    color: #fff;
+}
+
+.navbar-default .navbar-nav li a {
+    color: #fff;
+}
+
+.navbar-default .navbar-nav li a:hover {
+    color: #fff;
+    background-color: #002b00;
+}
+
+.navbar-default .navbar-nav .active a {
+    color: #fff;
+    background-color: #002b00;
+}
+
+.navbar-default .navbar-toggle:hover {
+    background-color: #002b00;
+}
+
+.navbar-default .navbar-toggle .icon-bar {
+    background-color: #fff;
+}
+
+#sidebar {
+    margin-left: 15px;
+    margin-top: 50px;
+}
+
+#content {
+    background-color: #fff;
+    border-radius: 3px;
+    box-shadow: 0 0 0 0, 0 6px 12px rgba(34, 34, 34, 0.1);
+}
+
+#content img {
+    max-width: 100%;
+    height: auto;
+}
+
+footer {
+    font-size: 14px;
+    text-align: center;
+    padding-top: 75px;
+    padding-bottom: 30px;
+}
+
+blockquote footer {
+    text-align: left;
+    padding-top: 0px;
+    padding-bottom: 0px;
+}
+
+#post-tags {
+    margin-top: 30px;
+}
+
+#prev-next {
+    padding: 15px 0;
+}
+
+.post-header {
+    margin-bottom: 20px;
+}
+
+.post-header h2 {
+    font-size: 32px;
+}
+
+#post-meta {
+    font-size: 14px;
+    color: rgba(0, 0, 0, 0.4)
+}
+
+#page-header {
+    border-bottom: 1px solid #dbdbdb;
+    margin-bottom: 20px;
+}
+
+#page-header h2 {
+    font-size: 32px;
+}
+
+pre {
+    overflow-x: auto;
+}
+
+pre code {
+    display: block;
+    padding: 0.5em;
+    overflow-wrap: normal;
+    white-space: pre;
+}
+
+code {
+    color: #002b00;
+}
+
+pre,
+code,
+.hljs {
+    background-color: #f7f9fd;
+}