UI: Replace "locations" tab with separate page

Removing the JS requirement and (hopefully) providing a more useful
view into the same data.

This view now also lists other man pages that happen to have the same
contents.
This commit is contained in:
Yorhel 2024-04-27 12:56:08 +02:00
parent 9d650b00ec
commit bc26633fc7
3 changed files with 91 additions and 8 deletions

View file

@ -15,6 +15,7 @@ input { font-size: 0.9em; padding: 1px 2px }
code { font-family: "Lucida Console", Monospace; font-size: 12px; background-color: #f0f8ff; padding: 1px }
small { color: #aaa }
.hidden { display: none!important; }
thead td { font-weight: bold }
header { border-bottom: 3px dotted #ccc; display: flex; justify-content: space-between; align-items: end; flex-wrap: wrap }
header a { font: 24px "Arial", serif; font-weight: bold }
@ -89,6 +90,9 @@ main.thin { max-width: 700px; margin: 0 auto }
.manpage nav select { width: 200px }
.manpage nav input { width: 40px }
.locpage tr td { padding: 2px 7px }
.locpage tbody tr td:last-child { font-size: 12px }
pre { margin: 10px 0 0 0 }
pre, pre * { font-family: "Lucida Console", Monospace; font-size: 15px }