diff options
| author | Heather Miller <heather.miller@epfl.ch> | 2017-01-03 18:27:06 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-01-03 18:27:06 +0100 |
| commit | bc9bae33c2d29d56c60ae8851063bc3145d41eef (patch) | |
| tree | 1e423e12e589909157bc1e5d271b0cf7cf047fb1 /resources/css/prettify.css | |
| parent | 8428c40f79060169e85bdf740a9432b933a47160 (diff) | |
| parent | 21cddf809d02a674f1fac59ccc5dfb3adac3bab2 (diff) | |
Merge pull request #24 from heathermiller/facelift
Facelift
Diffstat (limited to 'resources/css/prettify.css')
| -rw-r--r-- | resources/css/prettify.css | 70 |
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 |
