aboutsummaryrefslogtreecommitdiff
path: root/resources/css/prettify.css
diff options
context:
space:
mode:
authorHeather Miller <heather.miller@epfl.ch>2017-01-03 13:59:43 +0100
committerHeather Miller <heather.miller@epfl.ch>2017-01-03 13:59:43 +0100
commit29ef063fdcfffd887313c7bc0e1e51d515d40e64 (patch)
tree89515fb12f2127a99e224e34c1c0b3e13a012f3b /resources/css/prettify.css
parent7aa3508c5893848b64b21676356a0fd0105a1f23 (diff)
Facelift, step 1
Diffstat (limited to 'resources/css/prettify.css')
-rw-r--r--resources/css/prettify.css70
1 files changed, 70 insertions, 0 deletions
diff --git a/resources/css/prettify.css b/resources/css/prettify.css
new file mode 100644
index 0000000..fc5cb1e
--- /dev/null
+++ b/resources/css/prettify.css
@@ -0,0 +1,70 @@
+---
+---
+
+@font-face {
+ font-family: 'Consolas';
+ src: url('{{ site.baseurl }}/resources/glyphs/Consolas.eot?#iefix') format('embedded-opentype'), url('{{ site.baseurl }}/resources/glyphs/Consolas.woff') format('woff'), url('{{ site.baseurl }}/resources/glyphs/Consolas.ttf') format('truetype'), url('{{ site.baseurl }}/resources/glyphs/Consolas.svg#Consolas') format('svg');
+ font-weight: normal;
+ font-style: normal;
+}
+
+@font-face {
+ font-family: 'Consolas-Italic';
+ src: url('{{ site.baseurl }}/resources/glyphs/Consolas-Italic.eot?#iefix') format('embedded-opentype'), url('{{ site.baseurl }}/resources/glyphs/Consolas-Italic.woff') format('woff'), url('{{ site.baseurl }}/resources/glyphs/Consolas-Italic.ttf') format('truetype'), url('{{ site.baseurl }}/resources/glyphs/Consolas-Italic.svg#Consolas-Italic') format('svg');
+ font-weight: normal;
+ font-style: normal;
+}
+
+@font-face {
+ font-family: 'Consolas-Bold';
+ src: url('{{ site.baseurl }}/resources/glyphs/Consolas-Bold.eot?#iefix') format('embedded-opentype'), url('{{ site.baseurl }}/resources/glyphs/Consolas-Bold.woff') format('woff'), url('{{ site.baseurl }}/resources/glyphs/Consolas-Bold.ttf') format('truetype'), url('{{ site.baseurl }}/resources/glyphs/Consolas-Bold.svg#Consolas-Bold') format('svg');
+ font-weight: bold;
+ font-style: normal;
+}
+
+
+
+.com { color: #93a1a1; font-family: 'Consolas-Italic', monospace; }
+.lit { color: #195f91; font-family: 'Consolas', monospace;}
+.pun, .opn, .clo { color: #93a1a1; font-family: 'Consolas', monospace; }
+.fun { color: #dc322f; font-family: 'Consolas', monospace; }
+.str, .atv { color: #268bd2; font-family: 'Consolas', monospace; }
+.kwd, .tag { color: #195f91; font-family: 'Consolas-Bold', monospace; }
+.typ, .atn, .dec, .var { color: #CB4B16; font-family: 'Consolas', monospace; }
+.pln { color: 888;/*color: #93a1a1;*/ font-family: 'Consolas', monospace; }
+pre.prettyprint {
+ background: #fefbf3;
+ padding: 9px;
+ border: 1px solid rgba(0,0,0,.2);
+ -webkit-box-shadow: 0 1px 2px rgba(0,0,0,.1);
+ -moz-box-shadow: 0 1px 2px rgba(0,0,0,.1);
+ box-shadow: 0 1px 2px rgba(0,0,0,.1);
+ overflow-x: scroll;
+}
+
+/* Specify class=linenums on a pre to get line numbering */
+ol.linenums { margin: 0 0 0 40px; } /* IE indents via margin-left */
+ol.linenums li { color: rgba(0,0,0,.15); line-height: 20px; }
+/* Alternate shading for lines */
+li.L1, li.L3, li.L5, li.L7, li.L9 { }
+
+/*
+$base03: #002b36;
+$base02: #073642;
+$base01: #586e75;
+$base00: #657b83;
+$base0: #839496;
+$base1: #93a1a1;
+$base2: #eee8d5;
+$base3: #fdf6e3;
+$yellow: #b58900;
+$orange: #cb4b16;
+$red: #dc322f;
+$magenta: #d33682;
+$violet: #6c71c4;
+$blue: #268bd2;
+$cyan: #2aa198;
+$green: #859900;
+*/
+
+/*.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{*//*padding:2px;border:1px solid #888*//*}ol.linenums{margin-top:0;margin-bottom:0}li.L0,li.L1,li.L2,li.L3,li.L5,li.L6,li.L7,li.L8{list-style-type:none}li.L1,li.L3,li.L5,li.L7,li.L9{background:#eee}*/ \ No newline at end of file