cosmetics on home

webserver.py

@@ -356,7 +356,7 @@ a {
     ONEMONTH = 30 * 24 * 3600
 
     def title(text):
-        out.append(f'<tr><td colspan=2><b>{text}</b></td></tr>')
+        out.append(f'<tr><td colspan=2><h3>{text}</h3></td></tr>')
 
     # TODO: sort this by (instrument / device) and list dates
     # period format: Ymd..Ymd, Ymd (single date), Ymd..now, HM..now
@@ -409,7 +409,7 @@ a {
         out.append('</table>')
         out.append('<h3><a href="http://linse-c.psi.ch:8888/">central server</a></h3>')
         out.append('<h3>direct link to instruments:</h3>')
-        out.extend([f'<a href="http://{ins}.psi.ch:{port}/">{ins}</a>&nbsp;\n'
+        out.extend([f'<a href="http://{ins}.psi.ch:{port}/">{ins.upper()}</a>&nbsp;\n'
                     for ins, port in instruments.items()])
         out.extend(['</body></html>', ''])
     except Exception as e: