From 6e8a2201b1fea9f4fe730e6655cd9fd310ae11b4 Mon Sep 17 00:00:00 2001 From: Laurent Peuch Date: Wed, 10 Oct 2018 04:15:42 +0200 Subject: [PATCH] [enh] add a top page menu --- static/css/style.css | 9 +++++++++ templates/base.html | 1 + templates/menu.html | 21 +++++++++++++++++++++ 3 files changed, 31 insertions(+) create mode 100644 templates/menu.html diff --git a/static/css/style.css b/static/css/style.css index 9d37241..ff4a49a 100644 --- a/static/css/style.css +++ b/static/css/style.css @@ -11,4 +11,13 @@ .deleted * { font-style: italic; color: darkgrey !important;; +} + +.menu-title { + font-weight: bold; + font-family: sans; +} + +.navbar { + border-bottom: 0.5px solid #ddd; } \ No newline at end of file diff --git a/templates/base.html b/templates/base.html index 195a3f0..10a01e3 100644 --- a/templates/base.html +++ b/templates/base.html @@ -18,6 +18,7 @@ + <% include "menu.html" %> <% block content %><% endblock %> <% block javascript %><% endblock %> diff --git a/templates/menu.html b/templates/menu.html new file mode 100644 index 0000000..c7e55f4 --- /dev/null +++ b/templates/menu.html @@ -0,0 +1,21 @@ +