bug 1048, ls011: Add Fixed Load Shifted Post-Update section

[libreriscv.git] / local.css

diff --git a/local.css b/local.css
index 727df18f10621a6c78ea7abe780110aaa042bd80..454e0f7e0984a592956605a557a4033195fb21aa 100644 (file)
--- a/local.css
+++ b/local.css
@@ -1,3 +1,26 @@
+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;
 }
 
@@ -81,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;
+}