mason/dhandler, static/tgal.css: Add option to download zipfiles.

[tgal] / static / tgal.css

diff --git a/static/tgal.css b/static/tgal.css
index b94038e5f0a8b1d8040151b3597b215d22d1daf8..aa648784adc822b950d3cc803581179d5ef130ad 100644 (file)
--- a/static/tgal.css
+++ b/static/tgal.css
@@ -61,6 +61,18 @@ h1, h2, h3, h4, h5, h6 { font-family: sans-serif; font-weight bold; }
 hr { width: calc(100% - 4em); }
 div.fill { flex-grow: 1; }
 
+div.menu {
+       font-family: sans;
+       font-weight: normal;
+       font-size: initial;
+       float: right;
+}
+h1 div.menu:before {
+       visibility: hidden;
+       font-size: 200%;
+       content: "";
+}
+
 div.footer {
        border-top: medium black solid;  
        margin-top: 3.43ex;