X-Git-Url: https://git.libre-soc.org/?a=blobdiff_plain;f=local.css;h=454e0f7e0984a592956605a557a4033195fb21aa;hb=a175a4756f5b4e1350d2099c3f0aae4954b337ed;hp=65a65b3a95b39f99208943dd77ca8a81ad1679e8;hpb=79b7e407e0a4db42f640f0ca30a7b3a0c21e9293;p=libreriscv.git

diff --git a/local.css b/local.css
index 65a65b3a9..454e0f7e0 100644
--- a/local.css
+++ b/local.css
@@ -1,21 +1,26 @@
-body {
+html, body {
   font-family: "Lato", "Helvetica Neue", Helvetica, Arial, sans-serif!important;
-  padding-top: 70px;
 }
 
 footer {
   padding: 30px 0;
 }
 
-list-group-item.active {
+.list-group-item.active {
    background-color: #4A90E2;
 }
 
-.navbar-default {
-   background-color: gray-dark;
+.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;
@@ -99,3 +104,94 @@ input#comments{
 input#comments{
     font-family: "Inconsolata", "monaco", "droid sans mono",fixed;
 }
+
+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;
+}