diff options
| author | Matth?us G. Chajdas <dev@anteru.net> | 2019-11-10 13:56:53 +0100 |
|---|---|---|
| committer | Matth?us G. Chajdas <dev@anteru.net> | 2019-11-10 13:56:53 +0100 |
| commit | 1dd3124a9770e11b6684e5dd1e6bc15a0aa3bc67 (patch) | |
| tree | 87a171383266dd1f64196589af081bc2f8e497c3 /doc/_themes/pygments14/theme.conf | |
| parent | f1c080e184dc1bbc36eaa7cd729ff3a499de568a (diff) | |
| download | pygments-master.tar.gz | |
Diffstat (limited to 'doc/_themes/pygments14/theme.conf')
| -rw-r--r-- | doc/_themes/pygments14/theme.conf | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/doc/_themes/pygments14/theme.conf b/doc/_themes/pygments14/theme.conf deleted file mode 100644 index fffe66d6..00000000 --- a/doc/_themes/pygments14/theme.conf +++ /dev/null @@ -1,15 +0,0 @@ -[theme] -inherit = basic -stylesheet = pygments14.css -pygments_style = friendly - -[options] -green = #66b55e -darkgreen = #36852e -darkgray = #666666 -border = #66b55e -yellow = #f4cd00 -darkyellow = #d4ad00 -lightyellow = #fffbe3 -background = #f9f9f9 -font = PT Sans |