diff options
author | wagoodman <wagoodman@gmail.com> | 2016-12-26 09:59:14 -0500 |
---|---|---|
committer | wagoodman <wagoodman@gmail.com> | 2016-12-26 09:59:14 -0500 |
commit | d275b2b468fe3aab60cd1caaa00ff5d6fc4c1a88 (patch) | |
tree | dc78082fb9bb18d15a255ac91f1e652de671f103 /deps/codeformats/monokai.css | |
parent | 29d732b85f7b4ef27369d047f41d1303d3dd8968 (diff) | |
download | wsdiff-d275b2b468fe3aab60cd1caaa00ff5d6fc4c1a88.tar.gz wsdiff-d275b2b468fe3aab60cd1caaa00ff5d6fc4c1a88.tar.bz2 wsdiff-d275b2b468fe3aab60cd1caaa00ff5d6fc4c1a88.zip |
added themeing and minor fixes
Diffstat (limited to 'deps/codeformats/monokai.css')
-rw-r--r-- | deps/codeformats/monokai.css | 58 |
1 files changed, 57 insertions, 1 deletions
diff --git a/deps/codeformats/monokai.css b/deps/codeformats/monokai.css index bb56ad8..b980c80 100644 --- a/deps/codeformats/monokai.css +++ b/deps/codeformats/monokai.css @@ -61,4 +61,60 @@ body .bp { color: #f8f8f2 } /* Name.Builtin.Pseudo */ body .vc { color: #f8f8f2 } /* Name.Variable.Class */ body .vg { color: #f8f8f2 } /* Name.Variable.Global */ body .vi { color: #f8f8f2 } /* Name.Variable.Instance */ -body .il { color: #ae81ff } /* Literal.Number.Integer.Long */
\ No newline at end of file +body .il { color: #ae81ff } /* Literal.Number.Integer.Long */ + +/* Override the surrounding theme to match a dark theme*/ + +#topbar { + background: #272822; + color: #f8f8f2 +} +td.linenos { + background: #272822; + padding: 0 5px 0 5px; + border-right: 1px solid #272822; + border-left: 1px solid #272822; + border-top: 1px solid #272822; +} + +div.codebox table { + border-right: 0px solid #272822; + border-left: 0px solid #272822; + border-top: 0px solid #272822; + border-bottom: 0px solid #272822; +} + +/* +These styles are used to highlight each diff line. +Note: for partial like highlight change to "display:block-inline" +*/ +span.left_diff_change { + background-color: #FFCF74; + display: block +} +span.left_diff_add { + background-color: #B1B1B1; + display: block +} +span.left_diff_del { + background-color: #FF6B6B; + display: block +} +span.lineno_q { + display: block; +} +span.right_diff_change { + background-color: #FFCF74; + display: block +} +span.right_diff_add { + background-color: #83FF83; + display: block +} +span.right_diff_del { + background-color: #B1B1B1; + display: block +} +span.clearbg { + background-color: transparent; +}
\ No newline at end of file |