diff options
Diffstat (limited to 'deps/codeformats/murphy.css')
| -rw-r--r-- | deps/codeformats/murphy.css | 63 |
1 files changed, 63 insertions, 0 deletions
diff --git a/deps/codeformats/murphy.css b/deps/codeformats/murphy.css new file mode 100644 index 0000000..5f69c40 --- /dev/null +++ b/deps/codeformats/murphy.css @@ -0,0 +1,63 @@ +body .hll { background-color: #ffffcc } +body { background: #ffffff; } +body .c { color: #666666; font-style: italic } /* Comment */ +body .err { color: #FF0000; background-color: #FFAAAA } /* Error */ +body .k { color: #228899; font-weight: bold } /* Keyword */ +body .o { color: #333333 } /* Operator */ +body .cm { color: #666666; font-style: italic } /* Comment.Multiline */ +body .cp { color: #557799 } /* Comment.Preproc */ +body .c1 { color: #666666; font-style: italic } /* Comment.Single */ +body .cs { color: #cc0000; font-weight: bold; font-style: italic } /* Comment.Special */ +body .gd { color: #A00000 } /* Generic.Deleted */ +body .ge { font-style: italic } /* Generic.Emph */ +body .gr { color: #FF0000 } /* Generic.Error */ +body .gh { color: #000080; font-weight: bold } /* Generic.Heading */ +body .gi { color: #00A000 } /* Generic.Inserted */ +body .go { color: #888888 } /* Generic.Output */ +body .gp { color: #c65d09; font-weight: bold } /* Generic.Prompt */ +body .gs { font-weight: bold } /* Generic.Strong */ +body .gu { color: #800080; font-weight: bold } /* Generic.Subheading */ +body .gt { color: #0044DD } /* Generic.Traceback */ +body .kc { color: #228899; font-weight: bold } /* Keyword.Constant */ +body .kd { color: #228899; font-weight: bold } /* Keyword.Declaration */ +body .kn { color: #228899; font-weight: bold } /* Keyword.Namespace */ +body .kp { color: #0088ff; font-weight: bold } /* Keyword.Pseudo */ +body .kr { color: #228899; font-weight: bold } /* Keyword.Reserved */ +body .kt { color: #6666ff; font-weight: bold } /* Keyword.Type */ +body .m { color: #6600EE; font-weight: bold } /* Literal.Number */ +body .s { background-color: #e0e0ff } /* Literal.String */ +body .na { color: #000077 } /* Name.Attribute */ +body .nb { color: #007722 } /* Name.Builtin */ +body .nc { color: #ee99ee; font-weight: bold } /* Name.Class */ +body .no { color: #55eedd; font-weight: bold } /* Name.Constant */ +body .nd { color: #555555; font-weight: bold } /* Name.Decorator */ +body .ni { color: #880000 } /* Name.Entity */ +body .ne { color: #FF0000; font-weight: bold } /* Name.Exception */ +body .nf { color: #55eedd; font-weight: bold } /* Name.Function */ +body .nl { color: #997700; font-weight: bold } /* Name.Label */ +body .nn { color: #0e84b5; font-weight: bold } /* Name.Namespace */ +body .nt { color: #007700 } /* Name.Tag */ +body .nv { color: #003366 } /* Name.Variable */ +body .ow { color: #000000; font-weight: bold } /* Operator.Word */ +body .w { color: #bbbbbb } /* Text.Whitespace */ +body .mb { color: #6600EE; font-weight: bold } /* Literal.Number.Bin */ +body .mf { color: #6600EE; font-weight: bold } /* Literal.Number.Float */ +body .mh { color: #005588; font-weight: bold } /* Literal.Number.Hex */ +body .mi { color: #6666ff; font-weight: bold } /* Literal.Number.Integer */ +body .mo { color: #4400EE; font-weight: bold } /* Literal.Number.Oct */ +body .sb { background-color: #e0e0ff } /* Literal.String.Backtick */ +body .sc { color: #8888FF } /* Literal.String.Char */ +body .sd { color: #DD4422 } /* Literal.String.Doc */ +body .s2 { background-color: #e0e0ff } /* Literal.String.Double */ +body .se { color: #666666; font-weight: bold; background-color: #e0e0ff } /* Literal.String.Escape */ +body .sh { background-color: #e0e0ff } /* Literal.String.Heredoc */ +body .si { background-color: #eeeeee } /* Literal.String.Interpol */ +body .sx { color: #ff8888; background-color: #e0e0ff } /* Literal.String.Other */ +body .sr { color: #000000; background-color: #e0e0ff } /* Literal.String.Regex */ +body .s1 { background-color: #e0e0ff } /* Literal.String.Single */ +body .ss { color: #ffcc88 } /* Literal.String.Symbol */ +body .bp { color: #007722 } /* Name.Builtin.Pseudo */ +body .vc { color: #ccccff } /* Name.Variable.Class */ +body .vg { color: #ff8844 } /* Name.Variable.Global */ +body .vi { color: #aaaaff } /* Name.Variable.Instance */ +body .il { color: #6666ff; font-weight: bold } /* Literal.Number.Integer.Long */
\ No newline at end of file |