RGL Browser updates

Added files which didn't get added in previous patch (bloody darcs)
2026-04-25 12:32:50 -06:00 · 2012-05-15 12:10:30 +00:00
parent 87e812455f
commit dd6e3bd973
21 changed files with 201 additions and 0 deletions
--- a/lib/doc/browse/google-code-prettify/prettify-own.css
+++ b/lib/doc/browse/google-code-prettify/prettify-own.css
@@ -0,0 +1,118 @@
+.pln
+{
+  color:#000
+  }
+@media screen
+{
+  .str
+  {
+    color:#080
+    }
+  .kwd
+  {
+    color:#008
+    }
+  .com
+  {
+    color:#800
+    }
+  .typ
+  {
+    color:#606
+    }
+  .lit
+  {
+    color:#066
+    }
+  .pun,.opn,.clo
+  {
+    color:#660
+    }
+  .tag
+  {
+    color:#008
+    }
+  .atn
+  {
+    color:#606
+    }
+  .atv
+  {
+    color:#080
+    }
+  .dec,.var
+  {
+    color:#606
+    }
+  .fun
+  {
+    color:red
+    }
+}
+@media print,projection
+{
+  .str
+  {
+    color:#060
+    }
+  .kwd
+  {
+    color:#006;
+    font-weight:bold
+    }
+  .com
+  {
+    color:#600;
+    font-style:italic
+    }
+  .typ
+  {
+    color:#404;
+    font-weight:bold
+    }
+  .lit
+  {
+    color:#044
+    }
+  .pun,.opn,.clo
+  {
+    color:#440
+    }
+  .tag
+  {
+    color:#006;
+    font-weight:bold
+    }
+  .atn
+  {
+    color:#404
+    }
+  .atv
+  {
+    color:#060
+    }
+}
+pre.prettyprint
+{
+  }
+ol.linenums
+{
+  color:#eee;
+  margin:0 0 0 1em;
+  }
+ol.linenums li
+{
+  border-left: 1px solid #CCC;
+  }
+li.L0,li.L1,li.L2,li.L3,li.L5,li.L6,li.L7,li.L8
+{
+  list-style-type:none
+  }
+li.L0,li.L2,li.L4,li.L6,li.L8
+{
+  background:#ffffff;
+  }
+li.L1,li.L3,li.L5,li.L7,li.L9
+{
+  background:#fafafa;
+  }