Bug 1244: changes to pospopcnt

[libreriscv.git] / local.css

diff --git a/local.css b/local.css
index d3b1e7628198a18757c07d49f63d8f8b407c082b..454e0f7e0984a592956605a557a4033195fb21aa 100644 (file)
--- a/local.css
+++ b/local.css
@@ -120,65 +120,78 @@ code {
 
 /* add colors as classes allowing markdown files to generate colored text */
 .color-000 {
-    color: 000;
+    color: #000;
 }
 
 .color-008 {
-    color: 008;
+    color: #008;
 }
 
 .color-00F {
-    color: 00F;
+    color: #00F;
 }
 
 .color-080 {
-    color: 080;
+    color: #080;
 }
 
 .color-088 {
-    color: 088;
+    color: #088;
 }
 
 .color-0F0 {
-    color: 0F0;
+    color: #0F0;
 }
 
 .color-0FF {
-    color: 0FF;
+    color: #0FF;
 }
 
 .color-800 {
-    color: 800;
+    color: #800;
 }
 
 .color-808 {
-    color: 808;
+    color: #808;
 }
 
 .color-880 {
-    color: 880;
+    color: #880;
 }
 
 .color-888 {
-    color: 888;
+    color: #888;
 }
 
 .color-CCC {
-    color: CCC;
+    color: #CCC;
 }
 
 .color-F00 {
-    color: F00;
+    color: #F00;
 }
 
 .color-F0F {
-    color: F0F;
+    color: #F0F;
 }
 
 .color-FF0 {
-    color: FF0;
+    color: #FF0;
 }
 
 .color-FFF {
-    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;
 }