@charset "UTF-8";
.home-aliases {margin:.5rem 0;color:inherit}
.home-aliases summary {cursor:pointer;text-decoration:underline;text-underline-offset:.2em}
.home-aliases ul {display:flex;flex-wrap:wrap;gap:.45em 1.2em;list-style:none;padding:.5em 0;margin:0}
.home-aliases a,.proof-band a {color:inherit;text-decoration:underline;text-underline-offset:.2em}

.v11-lab.has-pending-result .v11-lab-result,.v11-lab.has-pending-result .cc-result-links,.v11-lab.has-pending-result .home-aliases{display:none}