# HG changeset patch
# User Damien Correia
# Date 1523534881 -7200
# Node ID ca7d05086e67e1a190e20761b9bc5e1f82641c87
# Parent  5ca671ff68367cf49cca1d5cb5a05947fed9c705
Added custom CSS

diff -r 5ca671ff6836 -r ca7d05086e67 src/source/_static/css/custom.css
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/source/_static/css/custom.css	Thu Apr 12 14:08:01 2018 +0200
@@ -0,0 +1,3 @@
+.wy-menu .caption-text{
+	color: #2D87C2;
+}
diff -r 5ca671ff6836 -r ca7d05086e67 src/source/conf.py
--- a/src/source/conf.py	Thu Apr 12 11:44:17 2018 +0200
+++ b/src/source/conf.py	Thu Apr 12 14:08:01 2018 +0200
@@ -235,3 +235,7 @@
         else:
             return super(self.__class__, self).__doc__
     FieldProperty.__doc__ = property(get_field_doc)
+
+
+def setup(app):
+    app.add_stylesheet('css/custom.css')