/* Bootstrap's body metrics, repeated here because the appendix pages do not
   load Bootstrap; without them their text and menu come out at the browser
   default 16px while every other page is at 14px */
body{overflow-y:scroll;font-size:14px;line-height:1.42857143;color:#333;}
.container{margin-bottom:32px;}
a{text-decoration:none;color:#00a;border-bottom:1px solid transparent;}
a:hover,a:focus{border-bottom-color:#00a;color:#00a;text-decoration:none;}
/* MathJax and KaTeX render into these; a line under a formula strikes
   through its subscripts, so links that wrap one stay clean */
a:has(.MathJax):hover,a:has(.MathJax_Preview):hover,
a:has(mjx-container):hover,a:has(.katex):hover{border-bottom-color:transparent;}
.no-underline{text-decoration:none !important;}
ul{list-style-type:square;}
li{margin-bottom:8px !important;}
code{padding:6px;}
.no-bullet{list-style-type:none;}
div.catalogue > p > span:last-child{float:right;} /* KaTeX uses <span> selectors for \(...\), hence we must use :last-child */
th{padding:10px;border:1px solid #000;background:#eef;font-weight:bold;border-radius:3px;}
td{vertical-align:top;padding:10px;border:1px solid #444;border-radius:3px;}
.H2020 a{1color:#6af !important;}
#footer a{color:#aaa !important;}
.conjecture{background-color:#eaeaff;border:1px solid #b1b1ff;padding:5px;}
.note{background-color:#ffd;border:1px solid #ddb;padding:8px;}
.faded{color:#ccc;}
.game{color:#1a1;}
#version{float:right;color:#aaa;}
code{all:unset;font-family:monospace;background-color:#f1f1f1;padding:4px;}
#menu-separator{border:2px solid #aaf;}
#menu{padding-top:4px;-font-size:20px;margin-top:8px;}
#Hadamard-2025{font-size:25px;text-align: center;border:4px #aaf solid;padding:8px;background-color:#ffa;}

/* the appendix pages load no Bootstrap, so their <h1> would fall back to the
   browser default (2em, bold); these are Bootstrap's own h1 metrics, kept
   here so the title looks the same on every page of the site */
h1{font-size:36px;font-weight:500;line-height:1.1;margin:20px 0 10px;}

/* ---- the appendix pages ------------------------------------------------ */
/* same widths as Bootstrap's .container, so the appendices line up with the
   pages that do load Bootstrap */
#content{margin:0 auto;padding:0 15px;box-sizing:border-box;}
@media (min-width:768px){#content{width:750px;}}
@media (min-width:992px){#content{width:970px;}}
@media (min-width:1200px){#content{width:1170px;}}
/* Bootstrap justifies the body text on the other pages; kept to paragraphs
   and list items so that table cells are not stretched */
#content p,#content li{text-align:justify;}
pre{margin-left:8px;background-color:#eee;padding:4px;overflow-x:auto;}
img{max-width:100%;}
summary{cursor:pointer;}
details{cursor:pointer;}
.scroll{overflow-x:auto;}
.last-update,#last-update{font-family:monospace;}
.comment{color:#aaa;}
.go-top{float:right;}
.go-top a{text-decoration:none !important;}
.pure-href{text-decoration:none !important;}
.alert{color:#f00;}
.alert-text{color:#f00;}
.xi-alert{color:#f00;font-weight:bold;}
.pending{color:#f00;font-weight:bold;}
.rd6{font-weight:bold;color:#f00;}
.important{font-weight:bold;}
.observed{color:#aaa;}
.raw td{color:#777;}
.highlight td{background-color:#eee;}
.strong-td{background-color:#ddf;}
.h1{background-color:#eef;}
.header{font-size:12px;font-family:monospace;}
.obstruction{background-color:#fff;}
.inner-group{border:2px solid #aaa;}
.outer-group{border:2px solid #00f;}
.hr-thick{border:8px solid #999;}
.H-solution{background-color:#ff0;}
.y{background-color:#ff0;}
.v,.v1{background-color:#0f0;}
.v2{background-color:#ff0;}
.v3{background-color:#fa0;}
.v4{background-color:#0ff;}