X-Git-Url: https://git.libre-soc.org/?a=blobdiff_plain;f=local.css;h=454e0f7e0984a592956605a557a4033195fb21aa;hb=11fdc4850323d4e0fe7420851d5c214a03abcb8b;hp=5caf5baa0a3610ffb864e0bf4913ee74f669b7f7;hpb=4da3c6653189ca90ee57a236ee1dd971c1e8928f;p=libreriscv.git

diff --git a/local.css b/local.css
index 5caf5baa0..454e0f7e0 100644
--- a/local.css
+++ b/local.css
@@ -1,4 +1,27 @@
-/* Counter Headings */
+html, body {
+  font-family: "Lato", "Helvetica Neue", Helvetica, Arial, sans-serif!important;
+}
+
+footer {
+  padding: 30px 0;
+}
+
+.list-group-item.active {
+   background-color: #4A90E2;
+}
+
+.bg-dark {
+   background-color: #0F2035!important;
+   border-color: #e7e7e7;
+}
+
+table th {
+	color: #eceeef;
+	background-color: #4A90E2;
+	border-color: #4A90E2;
+}
+
+/* Counter Headings Local */
 body {
 counter-reset : h1;
     }
@@ -62,7 +85,7 @@ table {
     margin-left: 35px;
 }
 
-table, th, td {
+th, td {
     border: 1px solid black;
 }
 
@@ -74,38 +97,101 @@ td {
 textarea{
     font-family: monospace;
     font-size: 1.2em;
-    border: solid 1px;
-    width: 100%;
-    margin-bottom: 10px;
 }
 input#comments{
     font-family: "Inconsolata", "monaco", "droid sans mono",fixed;
-    font-size: .9em;
-    width: 550px;
-    line-height: 1em;
-    background-color: #fff;
-    border: solid 1px;
 }
 input#comments{
     font-family: "Inconsolata", "monaco", "droid sans mono",fixed;
-    font-size: .9em;
-    width: 550px;
-    line-height: 1em;
-    background-color: #fff;
-        border: solid 1px;
-}
-input[type="submit"]{
-    font-family:
-    font-size: .9em;
-    font-weight: bold;
-    line-height: 1em;
-    background-color: #ddd;
-    margin-right: 1.1em;
-    margin-top: 10px;
-    padding: 3px;
-    text-align: center;
-    width: 9.5em;
-        border: solid 1px;
 }
 
+pre {
+    padding-left: 30px;
+}
+
+/*
+comment out now that isatables have been fixed
+code {
+  font-family: Consolas,"courier new";
+  display: block;
+  white-space: pre-wrap
+}
+*/
+
+/* add colors as classes allowing markdown files to generate colored text */
+.color-000 {
+    color: #000;
+}
+
+.color-008 {
+    color: #008;
+}
+
+.color-00F {
+    color: #00F;
+}
+
+.color-080 {
+    color: #080;
+}
+
+.color-088 {
+    color: #088;
+}
+
+.color-0F0 {
+    color: #0F0;
+}
+
+.color-0FF {
+    color: #0FF;
+}
+
+.color-800 {
+    color: #800;
+}
+
+.color-808 {
+    color: #808;
+}
+
+.color-880 {
+    color: #880;
+}
+
+.color-888 {
+    color: #888;
+}
 
+.color-CCC {
+    color: #CCC;
+}
+
+.color-F00 {
+    color: #F00;
+}
+
+.color-F0F {
+    color: #F0F;
+}
+
+.color-FF0 {
+    color: #FF0;
+}
+
+.color-FFF {
+    color: #FFF;
+}
+
+/*
+ * MEPY:
+ * Style for the notebox div element
+ * for use with the ikiwiki note template
+ */
+.notebox {
+	background-color: #FFFFCC;
+	border-radius: 3px;
+	padding: 10px 1em;
+	border: 1px solid #f4f228;
+	margin: 10px 0;
+}