From 29ef063fdcfffd887313c7bc0e1e51d515d40e64 Mon Sep 17 00:00:00 2001
From: Heather Miller <heather.miller@epfl.ch>
Date: Tue, 3 Jan 2017 13:59:43 +0100
Subject: Facelift, step 1

---
 resources/css/prettify.css | 70 ++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 70 insertions(+)
 create mode 100644 resources/css/prettify.css

(limited to 'resources/css/prettify.css')

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
-- 
cgit v1.2.3