update of html output

2021-10-02 15:48:02 +02:00
parent ac85e5fa99
commit 2bc268c896
115 changed files with 3608 additions and 1846 deletions
--- a/code/html/base.jinja
+++ b/code/html/base.jinja
@@ -9,6 +9,7 @@
  <title>{{ base['title'] }}</title>
  <link rel="stylesheet" href="{{ base['url_to'](['css', 'bulma.min.css']) }}">
  <link rel="stylesheet" href="{{ base['url_to'](['css', 'osgl.min.css']) }}">
+  <link rel="icon" type="image/svg+xml" href="{{ base['url_to'](['favicon.svg']) }}">
 </head>
 <body>
                                {#- navigation bar -#}