d00f 6fad2836ae web: keep the port strip on one row ...

The strip no longer wraps. Ports shrink to fit the row and scroll
when they cannot, so the header on a phone stays at two rows. The
strip moves under the title only below 720 px, where it no longer
fits beside it. Drop the unused d_ports strings and the strip title.

2026-10-17 00:07:04 +02:00

..

app.js

web: keep the port strip on one row

2026-10-17 00:07:04 +02:00

favicon.ico

Add initial web-pages and hand-crafted svg icons

2025-08-05 09:27:58 +02:00

index.html

web: keep the port strip on one row

2026-10-17 00:07:04 +02:00

login.html

web: name the browser tab after the switch hostname

2026-10-04 18:33:23 +02:00