diff options
author | Gunnar Aastrand Grimnes <gromgull@users.noreply.github.com> | 2015-07-01 14:45:07 +0200 |
---|---|---|
committer | Gunnar Aastrand Grimnes <gromgull@users.noreply.github.com> | 2015-07-01 14:45:07 +0200 |
commit | 6918f9085714e59d471e27aab36b07b44acde1fb (patch) | |
tree | a14ac11d5dcad1732a7ea2346c0a941bf97f5965 | |
parent | 56248dfc7fb4b597308af393382de34aa6e406a7 (diff) | |
download | rdflib-6918f9085714e59d471e27aab36b07b44acde1fb.tar.gz |
Removed duplicate option from armstrong theme config
Fixes #491
-rw-r--r-- | docs/_themes/armstrong/theme.conf | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/docs/_themes/armstrong/theme.conf b/docs/_themes/armstrong/theme.conf index a74a8a2c..c77da3a1 100644 --- a/docs/_themes/armstrong/theme.conf +++ b/docs/_themes/armstrong/theme.conf @@ -24,7 +24,6 @@ gray_2 = #222222 black = #111111 light_color = #EDE4D8 light_medium_color = #DDEAF0 -medium_color = #8ca1af medium_color_link = #634320 medium_color_link_hover = #261a0c dark_color = rgba(160, 109, 52, 1.0) |