140 lines
5.5 KiB
CSS
140 lines
5.5 KiB
CSS
/* Generated with pandoc --highlight-style=X */
|
|
|
|
/* pygments */
|
|
|
|
/*
|
|
table.sourceCode, tr.sourceCode, td.lineNumbers, td.sourceCode, table.sourceCode pre
|
|
{ margin: 0; padding: 0; border: 0; vertical-align: baseline; border: none; }
|
|
td.lineNumbers { border-right: 1px solid #AAAAAA; text-align: right; color: #AAAAAA; padding-right: 5px; padding-left: 5px; }
|
|
td.sourceCode { padding-left: 5px; }
|
|
pre.sourceCode span.kw { color: #007020; font-weight: bold; }
|
|
pre.sourceCode span.dt { color: #902000; }
|
|
pre.sourceCode span.dv { color: #40a070; }
|
|
pre.sourceCode span.bn { color: #40a070; }
|
|
pre.sourceCode span.fl { color: #40a070; }
|
|
pre.sourceCode span.ch { color: #4070a0; }
|
|
pre.sourceCode span.st { color: #4070a0; }
|
|
pre.sourceCode span.co { color: #60a0b0; font-style: italic; }
|
|
pre.sourceCode span.ot { color: #007020; }
|
|
pre.sourceCode span.al { color: red; font-weight: bold; }
|
|
pre.sourceCode span.fu { color: #06287e; }
|
|
pre.sourceCode span.re { }
|
|
pre.sourceCode span.er { color: red; font-weight: bold; }
|
|
*/
|
|
|
|
/* kate */
|
|
|
|
/*
|
|
table.sourceCode, tr.sourceCode, td.lineNumbers, td.sourceCode {
|
|
margin: 0; padding: 0; vertical-align: baseline; border: none; }
|
|
table.sourceCode { width: 100%; line-height: 100%; }
|
|
td.lineNumbers { text-align: right; padding-right: 4px; padding-left: 4px; background-color: #dddddd; }
|
|
td.sourceCode { padding-left: 5px; }
|
|
code > span.kw { font-weight: bold; }
|
|
code > span.dt { color: #800000; }
|
|
code > span.dv { color: #0000ff; }
|
|
code > span.bn { color: #0000ff; }
|
|
code > span.fl { color: #800080; }
|
|
code > span.ch { color: #ff00ff; }
|
|
code > span.st { color: #dd0000; }
|
|
code > span.co { color: #808080; font-style: italic; }
|
|
code > span.al { color: #00ff00; font-weight: bold; }
|
|
code > span.fu { color: #000080; }
|
|
code > span.er { color: #ff0000; font-weight: bold; }
|
|
*/
|
|
|
|
/* monochrome */
|
|
/*
|
|
table.sourceCode, tr.sourceCode, td.lineNumbers, td.sourceCode {
|
|
margin: 0; padding: 0; vertical-align: baseline; border: none; }
|
|
table.sourceCode { width: 100%; line-height: 100%; }
|
|
td.lineNumbers { text-align: right; padding-right: 4px; padding-left: 4px; }
|
|
td.sourceCode { padding-left: 5px; }
|
|
code > span.kw { font-weight: bold; }
|
|
code > span.dt { text-decoration: underline; }
|
|
code > span.co { font-style: italic; }
|
|
code > span.al { font-weight: bold; }
|
|
code > span.er { font-weight: bold; }
|
|
*/
|
|
|
|
/* espresso */
|
|
/*
|
|
table.sourceCode, tr.sourceCode, td.lineNumbers, td.sourceCode {
|
|
margin: 0; padding: 0; vertical-align: baseline; border: none; }
|
|
table.sourceCode { width: 100%; line-height: 100%; background-color: #2a211c; color: #bdae9d; }
|
|
td.lineNumbers { text-align: right; padding-right: 4px; padding-left: 4px; background-color: #2a211c; color: #bdae9d; border-right: 1px solid #bdae9d; }
|
|
td.sourceCode { padding-left: 5px; }
|
|
pre, code { color: #bdae9d; background-color: #2a211c; }
|
|
code > span.kw { color: #43a8ed; font-weight: bold; }
|
|
code > span.dt { text-decoration: underline; }
|
|
code > span.dv { color: #44aa43; }
|
|
code > span.bn { color: #44aa43; }
|
|
code > span.fl { color: #44aa43; }
|
|
code > span.ch { color: #049b0a; }
|
|
code > span.st { color: #049b0a; }
|
|
code > span.co { color: #0066ff; font-style: italic; }
|
|
code > span.al { color: #ffff00; }
|
|
code > span.fu { color: #ff9358; font-weight: bold; }
|
|
code > span.er { font-weight: bold; }
|
|
*/
|
|
|
|
/* zenburn */
|
|
/*
|
|
table.sourceCode, tr.sourceCode, td.lineNumbers, td.sourceCode {
|
|
margin: 0; padding: 0; vertical-align: baseline; border: none; }
|
|
table.sourceCode { width: 100%; line-height: 100%; background-color: #303030; color: #cccccc; }
|
|
td.lineNumbers { text-align: right; padding-right: 4px; padding-left: 4px; }
|
|
td.sourceCode { padding-left: 5px; }
|
|
pre, code { color: #cccccc; background-color: #303030; }
|
|
code > span.kw { color: #f0dfaf; }
|
|
code > span.dt { color: #dfdfbf; }
|
|
code > span.dv { color: #dcdccc; }
|
|
code > span.bn { color: #dca3a3; }
|
|
code > span.fl { color: #c0bed1; }
|
|
code > span.ch { color: #dca3a3; }
|
|
code > span.st { color: #cc9393; }
|
|
code > span.co { color: #7f9f7f; }
|
|
code > span.ot { color: #efef8f; }
|
|
code > span.al { color: #ffcfaf; }
|
|
code > span.fu { color: #efef8f; }
|
|
code > span.er { color: #c3bf9f; }
|
|
*/
|
|
|
|
/* haddock */
|
|
/*
|
|
table.sourceCode, tr.sourceCode, td.lineNumbers, td.sourceCode {
|
|
margin: 0; padding: 0; vertical-align: baseline; border: none; }
|
|
table.sourceCode { width: 100%; line-height: 100%; }
|
|
td.lineNumbers { text-align: right; padding-right: 4px; padding-left: 4px; color: #aaaaaa; border-right: 1px solid #aaaaaa; }
|
|
td.sourceCode { padding-left: 5px; }
|
|
code > span.kw { color: #0000ff; }
|
|
code > span.ch { color: #008080; }
|
|
code > span.st { color: #008080; }
|
|
code > span.co { color: #008000; }
|
|
code > span.ot { color: #ff4000; }
|
|
code > span.al { color: #ff0000; }
|
|
code > span.er { font-weight: bold; }
|
|
*/
|
|
|
|
/* tango */
|
|
|
|
table.sourceCode, tr.sourceCode, td.lineNumbers, td.sourceCode {
|
|
margin: 0; padding: 0; vertical-align: baseline; border: none; }
|
|
table.sourceCode { width: 100%; line-height: 100%; background-color: #f8f8f8; }
|
|
td.lineNumbers { text-align: right; padding-right: 4px; padding-left: 4px; color: #aaaaaa; border-right: 1px solid #aaaaaa; }
|
|
td.sourceCode { padding-left: 5px; }
|
|
pre, code { background-color: #f8f8f8; }
|
|
code > span.kw { color: #204a87; font-weight: bold; }
|
|
code > span.dt { color: #204a87; }
|
|
code > span.dv { color: #0000cf; }
|
|
code > span.bn { color: #0000cf; }
|
|
code > span.fl { color: #0000cf; }
|
|
code > span.ch { color: #4e9a06; }
|
|
code > span.st { color: #4e9a06; }
|
|
code > span.co { color: #8f5902; font-style: italic; }
|
|
code > span.ot { color: #8f5902; }
|
|
code > span.al { color: #ef2929; }
|
|
code > span.fu { color: #000000; }
|
|
code > span.er { font-weight: bold; }
|
|
*/
|