site/web, branch master
Web Site and Infrastructure
https://www.monitoring-plugins.org/repositories/site/atom?h=master
2026-07-03T12:46:35Z
Disable Coverity
2026-07-03T12:46:35Z
Holger Weiss
holger@zedat.fu-berlin.de
2026-07-03T12:46:35Z
urn:sha1:f9b7f42011d17058af9e0691080dfce956252a84
It seems our Coverity setup stopped working a decade ago.
Hide copyright notice from footer on mobile
2026-07-02T15:27:50Z
Holger Weiß
holger@zedat.fu-berlin.de
2026-07-02T15:27:50Z
urn:sha1:b6ec20845df0945003c8955de97fc0105d7e8aeb
Wrap the "Copyright © YYYY-YYYY" text in its own span and hide it below
the existing 45em mobile breakpoint, keeping the team/impressum links
visible to save vertical space on small screens.
Fix off-by-one in news pagination page count
2026-07-02T15:23:42Z
Holger Weiß
holger@zedat.fu-berlin.de
2026-07-02T15:23:42Z
urn:sha1:90a4cabe83a5775cb4889ecddc5fff0a8b1cb2ad
math.ceil() already rounds up when the post count isn't an exact
multiple of posts_per_page, so the extra "if remainder > 0" bump
double-counted and produced a page-count one higher than the number of
pages next_news_chunk() actually generates. This made the news footer
link to a nonexistent last page (e.g., news/4.html when only 3 pages
exist).
Fix typo
2026-07-01T16:06:59Z
Holger Weiss
holger@zedat.fu-berlin.de
2026-07-01T16:06:59Z
urn:sha1:ae7f0beff0decfaf2838a28003b9dc2e72184b87
Use backticks for plugin names
2026-07-01T16:05:53Z
Holger Weiss
holger@zedat.fu-berlin.de
2026-07-01T16:05:53Z
urn:sha1:6c4e7dce2a7baf62c4208b1d22992155c6123d6b
Mainly because the have an underscore in their name, which has a meaning
in Markdown.
Increase spacing between breadcrumb and page title
2026-07-01T15:52:24Z
Holger Weiss
holger@zedat.fu-berlin.de
2026-07-01T15:52:24Z
urn:sha1:e68063cdcb3673ea3aad7a55ff2f1452a218a084
Redesign desktop menu bar sizing
2026-07-01T15:35:23Z
Holger Weiss
holger@zedat.fu-berlin.de
2026-07-01T15:35:23Z
urn:sha1:92376909ae3e9e27b99bec99115465435f612577
Rather than chasing the pre-existing padding numbers, size the menu bar
from scratch.
Fix desktop menu padding and hamburger bar
2026-07-01T15:29:00Z
Holger Weiss
holger@zedat.fu-berlin.de
2026-07-01T15:29:00Z
urn:sha1:2c846d4a8c6459fb8cc43c0135eb28687a051751
Restore the original vertical-only padding on wide screens (horizontal
inset was already provided by the menu items/icons) and only add
horizontal padding back for the collapsed mobile layout.
Also fix the hamburger icon: the top/bottom bar offsets were
percentage-relative to the container's top edge rather than to center,
clustering two bars together near the top instead of spacing all three
evenly.
Unify link style across content/breadcrumb/footer
2026-07-01T15:21:32Z
Holger Weiss
holger@zedat.fu-berlin.de
2026-07-01T15:21:32Z
urn:sha1:e86b0b0e539ec9451ae60b5f846dbb1139835e3e
Replace the two divergent link treatments (blue solid-underline prose
links vs. muted dotted-underline chrome links) with one quiet style:
Link text matches the surrounding body copy, and a subdued underline
(brightening on hover/focus) carries the "this is clickable" signal
instead of color.
Modernize site styling
2026-07-01T15:07:18Z
Holger Weiss
holger@zedat.fu-berlin.de
2026-07-01T15:07:18Z
urn:sha1:1950f1e97410d2ebcf80fff8335894a489e6e481
Move the color palette to CSS custom properties (also used to extend
dark-mode coverage to links/borders), loosen the type scale and line
spacing, and swap the dotted-underline link style for plain underlines
with a color-shift hover. On narrow screens, the menu now collapses
behind a real hamburger button. The GitHub corner ribbon is removed with
no replacement.