Add a little bit of color to the User Guide by supplying a CSS stylesheet,

which adds colored borders to notes and screen contents.
2010-11-28 22:15:30 +00:00
parent dacb2beb73
commit 18f0977605
2 changed files with 24 additions and 3 deletions
@@ -0,0 +1,18 @@
+pre.screen {
+  background-color: #FFFF99 ;
+  border: 1px solid #006600 ;
+}
+
+div.note, div.tip, div.warning {
+  margin-top: 5px;
+  margin-bottom: 5px;
+  padding: 5px;
+}
+
+div.note, div.tip {
+  border-left: solid palegreen 20px;
+}
+
+div.warning {
+  border-left: solid red 20px;
+}