[doc: Make sure the website footer renders nicely in non-CSS browsers.
Petr Rockai <me@mornfall.net>**20180209112648
 Ignore-this: 16d006db7acd302e2400142bf60e3c90
] hunk ./doc/website/style.css 139
-div#footer
+#footer
hunk ./doc/website/style.css 151
-#footer .divider { margin-left: .5em; margin-right: .5em; }
+#footer .divider { display: none; }
+#footer a { display: block; }
hunk ./doc/website/style.css 337
-    div#footer { margin-top: -8ex; margin-left: -14ch; }
+    #footer { margin-top: -8ex; margin-left: -14ch; }
hunk ./doc/website/template.html 39
-<div id="footer">
-  <a href="//paradise.fi.muni.cz">paradise</a><br/>
-  <a href="//www.fi.muni.cz">fi muni</a><br/>
-  2000 &ndash; 2018
-</div>
+<pre id="footer"><span class="divider">—— </span><a
+     href="//paradise.fi.muni.cz">paradise</a><span class="divider">  |  </span><a
+     href="//www.fi.muni.cz">fi muni</a><span class="divider">  |  </span>2000 &ndash; 2018<span
+     class="divider"> ——</span></pre>