diff options
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 |