# HG changeset patch # User Ludovic Chabant # Date 1539752857 25200 # Node ID 0b696e838559b0681e80142b6ad1dd28a117b6e4 # Parent e350d1043fc2d6c5675e4875c1752176b2539614 web: Add support for custom CSS stylesheet. diff -r e350d1043fc2 -r 0b696e838559 wikked/templates/index.html --- a/wikked/templates/index.html Tue Oct 16 22:07:05 2018 -0700 +++ b/wikked/templates/index.html Tue Oct 16 22:07:37 2018 -0700 @@ -5,6 +5,7 @@ + {%if stylesheet%}{%endif%} {% block head %}{% endblock %} diff -r e350d1043fc2 -r 0b696e838559 wikked/views/__init__.py --- a/wikked/views/__init__.py Tue Oct 16 22:07:05 2018 -0700 +++ b/wikked/views/__init__.py Tue Oct 16 22:07:37 2018 -0700 @@ -2,7 +2,7 @@ from flask import request, url_for from flask_login import current_user from wikked.utils import get_url_folder, split_page_url -from wikked.web import get_wiki +from wikked.web import app, get_wiki def add_auth_data(data): @@ -90,3 +90,5 @@ nav['footers'] = [{'title': f[0], 'url': f[1], 'icon': f[2]} for f in footers] data['nav'] = nav + + data['stylesheet'] = app.config['WIKI_STYLESHEET'] diff -r e350d1043fc2 -r 0b696e838559 wikked/web.py --- a/wikked/web.py Tue Oct 16 22:07:05 2018 -0700 +++ b/wikked/web.py Tue Oct 16 22:07:37 2018 -0700 @@ -28,6 +28,7 @@ app.config.setdefault('WIKI_BROKER_URL', 'sqla+sqlite:///%(root)s/.wiki/broker.db') app.config.setdefault('WIKI_NO_FLASK_LOGGER', False) +app.config.setdefault('WIKI_STYLESHEET', None) app.config.setdefault('PROFILE', False) app.config.setdefault('PROFILE_DIR', None) app.config.setdefault('INFLUXDB_HOST', None)