bug 1034: making room for crfbinlog/crfternlogi/crbinlog/crternlogi
[libreriscv.git] / local.css
index 68ddf9a723b689b3c5833d82c6456a330eb3e33b..454e0f7e0984a592956605a557a4033195fb21aa 100644 (file)
--- a/local.css
+++ b/local.css
@@ -104,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;
+}