* { box-sizing: border-box; }
body { margin:0; background:#f6f6f6; color:#202122;
  font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Lato, "Helvetica Neue",
    Arial, sans-serif; }
a { color:#0645ad; text-decoration:none; }
a:visited { color:#0b0080; }
a:hover { text-decoration:underline; }
a[data-dead-link] { color:#ba0000; cursor:default; text-decoration:none; }

/* sidebar */
#sidebar { position:absolute; top:0; left:0; width:11rem; padding:1.2em .5em 1em 1.3em;
  font-size:.875rem; }
#sidebar .logo { display:block; font-family:"Linux Libertine", Georgia, Times, serif;
  font-size:1.6em; color:#202122; margin:.6em 0 2.4em; line-height:1.2; }
#sidebar .logo:hover { text-decoration:none; }
#sidebar ul { list-style:none; margin:0 0 1.2em; padding:0; }
#sidebar li { padding:.25em 0; line-height:1.15; }
#sidebar h3 { font-size:.95em; font-weight:normal; color:#54595d; margin:.5em 0 .3em;
  padding-bottom:.3em; border-bottom:1px solid #c8ccd1; }

/* tabs */
#tabs { margin-left:11rem; padding-top:2.5em; display:flex; justify-content:space-between;
  font-size:.875rem; }
#tabs div { display:flex; }
#tabs a { padding:.55em .9em .45em; border:1px solid transparent; border-bottom:0;
  background:linear-gradient(to bottom, rgba(255,255,255,0) 0, #fff 100%); }
#tabs a + a { border-left:1px solid #c8ccd1; }
#tabs a.selected { background:#fff; color:#202122; border-color:#a7d7f9; margin-bottom:-1px; }

/* content */
#content { margin-left:11rem; background:#fff; border:1px solid #a7d7f9; border-right:0;
  padding:1.25em 1.5em 1.5em; font-size:.9375rem; line-height:1.6; min-height:30em; }
#content h1, #content h2 { font-family:"Linux Libertine", Georgia, Times, serif;
  font-weight:normal; border-bottom:1px solid #a2a9b1; margin:1em 0 .25em; line-height:1.3; }
#content h1 { font-size:1.9em; margin-top:0; }
#content h2 { font-size:1.5em; padding-bottom:0; }
#content h3, #content h4, #content h5, #content h6 { font-size:1.07em; font-weight:bold;
  margin:.3em 0 0; padding-top:.5em; }
#siteSub { font-size:.85em; color:#54595d; margin:-.1em 0 1.2em; }
#content p { margin:.4em 0 .6em; }
#content ul { margin:.3em 0 0 1.6em; padding:0; list-style-type:disc; }
#content ol { margin:.3em 0 0 3.2em; padding:0; }
#content li { margin-bottom:.1em; }
#content dd { margin-left:1.6em; }
pre, code, tt, kbd { font-family: Menlo, Consolas, "Liberation Mono", monospace; font-size:.9em; }
code { background:#f8f9fa; border:1px solid #eaecf0; border-radius:2px; padding:1px 4px; }
pre { background:#f8f9fa; border:1px solid #eaecf0; padding:1em; white-space:pre-wrap;
  line-height:1.3; overflow-x:auto; }
pre code { border:0; padding:0; }
blockquote { margin:1em 0; padding:0 1.6em; border-left:4px solid #eaecf0; }
a.external::after { content:"\2197"; font-size:.75em; margin-left:.15em; color:#72777d; }
table.wikitable { background:#f8f9fa; border:1px solid #a2a9b1; border-collapse:collapse;
  margin:1em 0; color:#202122; }
table.wikitable th, table.wikitable td { border:1px solid #a2a9b1; padding:.2em .4em; }
table.wikitable th { background:#eaecf0; text-align:center; }
#toc, .toc { display:table; background:#f8f9fa; border:1px solid #a2a9b1; padding:.5em .9em;
  font-size:.95em; margin:.5em 0 1em; }
#toc .toctitle, .toc .toctitle { text-align:center; }
#toc h2, .toc h2 { font-family:inherit; font-size:1em; font-weight:bold; border:0; margin:0;
  display:inline; }
#toc ul, .toc ul { list-style:none; margin:.3em 0; padding:0; }
#toc ul ul, .toc ul ul { margin:0 0 0 2em; }
.tocnumber { color:#202122; padding-right:.4em; }
.mw-editsection, .toctoggle { display:none; }
.math mjx-container, mjx-container { font-size:105% !important; }
mjx-container[display="true"] { overflow-x:auto; overflow-y:hidden; }
.catlinks { border:1px solid #a2a9b1; background:#f8f9fa; padding:.4em .6em; margin-top:1.5em;
  font-size:.95em; }
.catlinks ul { display:inline; margin:0 !important; padding:0; list-style:none !important; }
.catlinks li { display:inline-block; margin:0 !important; padding:0 .5em;
  border-left:1px solid #a2a9b1; line-height:1.25; }
.catlinks li:first-child { border-left:0; }
.allpages ul { columns:3 15em; }

footer { margin-left:11rem; padding:.75em 1.5em 2em; font-size:.75rem; color:#202122; }
footer p { margin:.3em 0; }

@media (max-width: 720px) {
  #sidebar { position:static; width:auto; padding:.5em 1em; }
  #sidebar .logo { margin:.2em 0 .4em; }
  #sidebar ul { display:flex; flex-wrap:wrap; gap:.2em 1em; margin-bottom:.4em; }
  #sidebar h3 { display:none; }
  #tabs, #content, footer { margin-left:0; }
  #tabs { padding-top:.5em; overflow-x:auto; }
  #content { border-left:0; padding:1em; }
}