diff options
Diffstat (limited to 'provider')
-rw-r--r-- | provider/css/syntax.css | 18 | ||||
-rw-r--r-- | provider/templates/default.html | 1 |
2 files changed, 19 insertions, 0 deletions
diff --git a/provider/css/syntax.css b/provider/css/syntax.css new file mode 100644 index 0000000..57b31eb --- /dev/null +++ b/provider/css/syntax.css | |||
@@ -0,0 +1,18 @@ | |||
1 | /* Generated by pandoc. */ | ||
2 | table.sourceCode, tr.sourceCode, td.lineNumbers, td.sourceCode, table.sourceCode pre | ||
3 | { margin: 0; padding: 0; border: 0; vertical-align: baseline; border: none; } | ||
4 | td.lineNumbers { border-right: 1px solid #AAAAAA; text-align: right; color: #AAAAAA; padding-right: 5px; padding-left: 5px; } | ||
5 | td.sourceCode { padding-left: 5px; } | ||
6 | .sourceCode span.kw { color: #007020; font-weight: bold; } | ||
7 | .sourceCode span.dt { color: #902000; } | ||
8 | .sourceCode span.dv { color: #40a070; } | ||
9 | .sourceCode span.bn { color: #40a070; } | ||
10 | .sourceCode span.fl { color: #40a070; } | ||
11 | .sourceCode span.ch { color: #4070a0; } | ||
12 | .sourceCode span.st { color: #4070a0; } | ||
13 | .sourceCode span.co { color: #60a0b0; font-style: italic; } | ||
14 | .sourceCode span.ot { color: #007020; } | ||
15 | .sourceCode span.al { color: red; font-weight: bold; } | ||
16 | .sourceCode span.fu { color: #06287e; } | ||
17 | .sourceCode span.re { } | ||
18 | .sourceCode span.er { color: red; font-weight: bold; } | ||
diff --git a/provider/templates/default.html b/provider/templates/default.html index 14497b2..0476655 100644 --- a/provider/templates/default.html +++ b/provider/templates/default.html | |||
@@ -10,6 +10,7 @@ | |||
10 | <script src="http://html5shim.googlecode.com/svn/trunk/html5.js"></script> | 10 | <script src="http://html5shim.googlecode.com/svn/trunk/html5.js"></script> |
11 | <![endif]--> | 11 | <![endif]--> |
12 | <link rel="stylesheet" href="/css/default.css"> | 12 | <link rel="stylesheet" href="/css/default.css"> |
13 | <link rel="stylesheet" href="/css/syntax.css"> | ||
13 | </head> | 14 | </head> |
14 | <body> | 15 | <body> |
15 | $if(title)$ | 16 | $if(title)$ |