/* Copyright 2026 ETH Zurich and University of Bologna.
 * Licensed under the Apache License, Version 2.0, see LICENSE for details.
 * SPDX-License-Identifier: Apache-2.0
 */
*,*::before,*::after{box-sizing:border-box}
html{-webkit-text-size-adjust:100%;text-size-adjust:100%}
body{max-width:1240px;margin:0 auto;padding:0 20px 40px;background:var(--bg);color:var(--fg);font:15px/1.5 system-ui,-apple-system,"Segoe UI",Roboto,"Helvetica Neue",Arial,sans-serif;letter-spacing:0;overflow-wrap:break-word}
a{color:var(--link);text-underline-offset:2px}
a:hover{color:var(--fg)}
a:focus-visible,summary:focus-visible{outline:2px solid var(--focus);outline-offset:2px;border-radius:2px}
header{display:flex;flex-wrap:wrap;align-items:center;justify-content:space-between;gap:8px 24px;padding:16px 0 14px;border-bottom:1px solid var(--rule)}
header h1{margin:0}
header nav{display:flex;flex-wrap:wrap;align-items:center;gap:6px 18px;min-width:0;font-size:14px}
header nav ul{list-style:none;margin:0;padding:0;display:flex;flex-wrap:wrap;align-items:center;gap:6px 18px}
header nav a{color:var(--fg);text-decoration:none}
header nav a:hover{color:var(--link);text-decoration:underline}
h1{margin:20px 0 4px;font-size:20px;line-height:1.25;font-weight:650;letter-spacing:0}
.source{margin:0 0 4px;font-size:13px;color:var(--muted)}
.kind{display:inline-block;padding:2px 6px;font-size:12px;line-height:1.3;font-weight:500;color:var(--muted);border:1px solid var(--rule-strong);border-radius:3px;white-space:nowrap}
.log-head{display:flex;flex-wrap:wrap;align-items:baseline;gap:4px 12px;margin:22px 0 6px;font-size:14px;font-weight:600;line-height:1.35}
.log-head a{font-size:13px;font-weight:400}
pre{display:block;width:100%;max-width:100%;margin:8px 0 0;padding:12px 14px;overflow:auto;background:var(--code-bg);color:var(--code-fg);border:1px solid var(--rule);border-radius:3px;font:12.5px/1.5 ui-monospace,SFMono-Regular,Menlo,Consolas,"Liberation Mono",monospace;letter-spacing:0;white-space:pre;overflow-wrap:normal;tab-size:8}
details{margin:12px 0}
summary{cursor:pointer;width:max-content;max-width:100%;font-size:13px;color:var(--muted)}
summary:hover{color:var(--fg)}
@media (max-width:420px){
  body{padding:0 16px 32px}
  pre{padding:10px;font-size:12px}
}