From d275b2b468fe3aab60cd1caaa00ff5d6fc4c1a88 Mon Sep 17 00:00:00 2001
From: wagoodman <wagoodman@gmail.com>
Date: Mon, 26 Dec 2016 09:59:14 -0500
Subject: added themeing and minor fixes

---
 deps/codeformats/murphy.css | 63 ---------------------------------------------
 1 file changed, 63 deletions(-)
 delete mode 100644 deps/codeformats/murphy.css

(limited to 'deps/codeformats/murphy.css')

diff --git a/deps/codeformats/murphy.css b/deps/codeformats/murphy.css
deleted file mode 100644
index 5f69c40..0000000
--- a/deps/codeformats/murphy.css
+++ /dev/null
@@ -1,63 +0,0 @@
-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
-- 
cgit