/* Header of the wiki (first-party; from the DokuWiki template's inline style) and a few
   replacements for things DokuWiki did with JavaScript. */

/* From the <style> in the DokuWiki template's <head>: DokuWiki's layout widths are in em
   (sidebar 16em, site max 75em), so they depend on this base size. */
.page {
  display: block;
}
#dokuwiki__site {
  font-size: 16px;
}

body {
  padding: 0;
  margin: 0;
}
header {
  background: #fff;
  box-shadow: 0 1px 2px rgb(0 0 0 / 40%);
  position: sticky;
  top: 0;
  width: 100%;
  z-index: 4;
  transition: all 0.4s;
  height: 70px;
  display: flex;
  justify-content: center;
}
.header-inner {
  display: flex;
  justify-content: space-between;
  width: 100%;
  max-width: 1000px;
  padding: 0 20px;
  box-sizing: border-box;
}
.logo {
  width: 360px;
  height: 70px;
  display: flex;
}
.logo-img {
  width: 360px;
}
.back-portal {
  display: flex;
  align-items: center;
}
.button-back-portal {
  display: flex;
  align-items: center;
  gap: 8px;
  color: #000;
  text-decoration: none;
  font-weight: bold;
  word-break: keep-all;
}
.button-back-portal::before {
  content: '';
  display: block;
  width: 12px;
  height: 12px;
  background: url('data:image/svg+xml;charset=utf8,%3Csvg%20width%3D%2212%22%20height%3D%2213%22%20viewBox%3D%220%200%2012%2013%22%20fill%3D%22none%22%20xmlns%3D%22http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%22%3E%3Cg%20clip-path%3D%22url(%23clip0_449_16993)%22%3E%3Cpath%20d%3D%22M6%200.5C4.81331%200.5%203.65328%200.851894%202.66658%201.51118C1.67989%202.17047%200.910851%203.10754%200.456726%204.2039C0.00259972%205.30026%20-0.11622%206.50666%200.115291%207.67054C0.346802%208.83443%200.918247%209.90353%201.75736%2010.7426C2.59648%2011.5818%203.66558%2012.1532%204.82946%2012.3847C5.99335%2012.6162%207.19975%2012.4974%208.2961%2012.0433C9.39246%2011.5892%2010.3295%2010.8201%2010.9888%209.83342C11.6481%208.84673%2012%207.68669%2012%206.5C12%204.9087%2011.3679%203.38258%2010.2426%202.25736C9.11742%201.13214%207.5913%200.5%206%200.5V0.5ZM7%209C7%209.04643%206.98707%209.09194%206.96267%209.13143C6.93826%209.17093%206.90333%209.20284%206.86181%209.22361C6.82028%209.24437%206.77379%209.25316%206.72755%209.24899C6.68131%209.24482%206.63715%209.22786%206.6%209.2L3.267%206.7C3.23577%206.67684%203.2104%206.64668%203.19292%206.61195C3.17544%206.57722%203.16633%206.53888%203.16633%206.5C3.16633%206.46112%203.17544%206.42278%203.19292%206.38805C3.2104%206.35332%203.23577%206.32316%203.267%206.3L6.6%203.8C6.63715%203.77214%206.68131%203.75518%206.72755%203.75101C6.77379%203.74684%206.82028%203.75563%206.86181%203.77639C6.90333%203.79716%206.93826%203.82907%206.96267%203.86857C6.98707%203.90806%207%203.95357%207%204V9Z%22%20fill%3D%22%23ADADAD%22%2F%3E%3C%2Fg%3E%3Cdefs%3E%3CclipPath%20id%3D%22clip0_449_16993%22%3E%3Crect%20width%3D%2212%22%20height%3D%2212%22%20fill%3D%22white%22%20transform%3D%22translate(0%200.5)%22%2F%3E%3C%2FclipPath%3E%3C%2Fdefs%3E%3C%2Fsvg%3E') no-repeat center;
}
#dokuwiki__header .headings {
  display: none;
}
#dokuwiki__header .tools {
  display: none;
}
.dokuwiki div.breadcrumbs {
    margin-top: 20px;
}
@media screen and (max-width: 568px) {
  .logo-img {
    width: 240px;
  }
  .ui-pc {
    display: none;
  }
}

/* Anchor targets clear the sticky header (DokuWiki's template scrolled with jQuery). */
html {
  scroll-behavior: smooth;
}
.dokuwiki :is(h1, h2, h3, h4, h5, h6, [id]) {
  scroll-margin-top: 80px;
}
/* No live search suggestions on the static site. */
.dokuwiki .ajax_qsearch {
  display: none;
}
/* Search page */
.wiki-search-results {
  list-style: none;
  padding: 0;
  margin: 1em 0;
}
.wiki-search-results li {
  margin: 0 0 1.2em;
}
.wiki-search-results .wiki-search-title {
  font-weight: bold;
  font-size: 1.1em;
}
.wiki-search-results .wiki-search-path {
  color: #666;
  font-size: 0.85em;
}
.wiki-search-results mark {
  background: #ff9;
}

/* Language switch: a missing translation is plain text here (DokuWiki linked to the empty
   page), styled like the translation plugin's grey wikilink2 link. */
.dokuwiki div.plugin_translation ul li span.wikilink2 {
  background-color: #808080;
  color: #fff;
  padding: 0 0.2em;
  margin: 0.1em 0.2em;
}