[library-web] skin: import codearea formatting from wiki.gnome.org CSS

[Frederic Peters <fpeters src gnome org>]

commit 4d98b72562304ee5d025e7f888c80ad048163bee
Author: Frédéric Péters <fpeters 0d be>
Date:   Sun Mar 8 19:29:51 2015 +0100

    skin: import codearea formatting from wiki.gnome.org CSS
    
    https://bugzilla.gnome.org/show_bug.cgi?id=745838

 data/skin/moinmoin.css |   36 ++++++++++++++++++++++++++++++++++++
 1 files changed, 36 insertions(+), 0 deletions(-)
---
diff --git a/data/skin/moinmoin.css b/data/skin/moinmoin.css
index cd019e9..0cfe9a4 100644
--- a/data/skin/moinmoin.css
+++ b/data/skin/moinmoin.css
@@ -27,3 +27,39 @@ div.table-of-contents li {
        padding-left: 2ex;
        margin: 0;
 }
+
+div.codearea { /* the div makes the border */
+       margin: 0.5em 0;
+       padding: 0;
+       border: 1pt solid #AEBDCC;
+       background-color: #F3F5F7;
+       color: black;
+}
+
+div.codearea pre { /* the pre has no border and is inside the div */
+       margin: 0;
+       padding: 10pt;
+       border: none;
+}
+
+a.codenumbers { /* format of the line numbering link */
+       margin: 0 10pt;
+       font-size: 0.85em;
+       color: gray;
+}
+
+/* format of certain syntax spans */
+div.codearea pre span.LineNumber {color: gray;}
+div.codearea pre span.ID         {color: #000000;}
+div.codearea pre span.Operator   {color: #0000C0;}
+div.codearea pre span.Char       {color: #004080;}
+div.codearea pre span.Comment    {color: #008000;}
+div.codearea pre span.Number     {color: #0080C0;}
+div.codearea pre span.String     {color: #004080;}
+div.codearea pre span.SPChar     {color: #0000C0;}
+div.codearea pre span.ResWord    {color: #A00000;}
+div.codearea pre span.ConsWord   {color: #008080; font-weight: bold;}
+div.codearea pre span.Error      {color: #FF8080; border: solid 1.5pt #FF0000;}
+div.codearea pre span.ResWord2   {color: #0080ff; font-weight: bold;}
+div.codearea pre span.Special    {color: #0000ff;}
+div.codearea pre span.Preprc     {color: #803999;}