/* Tiny server marker injected by Apache (conf srvmark): shows which host served the page. */
.srvmark[hidden] { display: block !important; }
.srvmark {
  position: fixed; right: 5px; bottom: 4px; z-index: 2147483647;
  font: 20px/1 system-ui, sans-serif; color: #5f6773; opacity: .6;
  user-select: none; cursor: default;
}