/* Zur Beachtung: Um nicht hunderttausend verschiedene Sonderfälle (gemeint
   ist hier insbesondere der IE) berücksichtigen zu müssen, werden hier keine
   Browserweichen implementiert! */

/* Festlegungen für die Navigation */

div.LangSel {
  position: absolute;
  top: 1em;
  right: 1em;
  }

div.LangSel > div.nav-clear {
  display: none;
  clear: left;
  }

ul.context {
  margin: 0;
  padding: 0 0.2em;
  position: absolute;
  display: block;
  list-style: none;
  z-index: 5;
  }

ul.context a {
  display: block;
  width: 17.5em;
  text-align: left;
  padding: 0.2em 0.2em 0.2em 2em;
  margin: 0.4em 0.2em;
  font-weight: bold;
  }

ul.context :hover, ul.context [aria-selected="true"] {
  text-shadow: none;
  }

div.Menubar {
  top: -1em;
  position: relative;
  border-top: none;
  border-left: none;
  border-right: none;
  float: none;
  z-index: 1;
  }

div.Menubar .item-ofs {
  float: right;
  }

div.Menubar div {
  clear: left;
  }

/* Notwendig, um die Lücke zwischen der Menüzeile und dem folgenden
   Seiteninhalt zu schließen */
div.Menubar + h2, div.Menubar + h3 {
  position: relative;
  top: -1em;
  margin-bottom: -1em;
  }

navigation {
  width: 19em;
  padding: 0.2em;
  clear: left;
  }

div.CurrentLang {
  float: left;
  }

div.Language {
  float: left;
  }

div.Lang_disabled {
  float: left;
  }

div#TOC {
  clear: left;
  margin-left: -2.4em;
  counter-reset: chapterlink;
  }

div#TOC > ul ul {
  margin-left: -2em;
  }

div#TOC > ul > li > a:before {
  content: counter(chapterlink)'. ';
  counter-increment: chapterlink;
  }

div.SubTOC {
  clear: left;
  }

div.Menubar > ul {
  list-style: none;
  position: relative;
  padding-top: 0.5em;
  padding-bottom: 0.5em;
  }

div.Menubar > ul li {
  display: inline-block;
  width: 8em;
  position: relative;
  text-align: center;
  float: left;
  padding: 0.5em;
  margin: 0 0.5em;
  }

div.Menubar > ul li > ul {
  margin: 0.1em 0.2em;
  position: absolute;
  display: none;
  left: 1em;
  top: 2em;
  box-shadow: 5px 5px 2px;
  }

div.Menubar a, div.Menubar span {
  width: auto;
  margin-left: -2em;
  margin-top: 0.2em;
  margin-bottom: 0.2em;
  padding-bottom: 0;
  }

div.Menubar > ul > li > a, div.Menubar > ul > li > span {
  margin-left: 0;
  }

div.Menubar > ul li:hover > ul, div.Menubar > ul li:focus-within > ul {
  display: block;
  }

div.Menubar > ul li > ul > li {
  padding: 0.2em;
  float: none;
  display: block;
  width: 15em;
  text-align: left;
  }

div.Menubar > ul a {
  font-weight: bold;
  }

ul.Navigation {
  margin: 0;
  padding: 0;
  text-align: center;
  }

ul.Navigation > li.tocptr {
  display: none;
  }

ul.Navigation span.nolink, div.Menubar > ul span.nolink {
  font-weight: bold;
  }

ul.Navigation > li > div.Lang {
  display: none;
  top: 0;
  left: 18em;
  position: absolute;
  margin: 0 0.15em;
  width: 128px;
  }

ul.Navigation > li:hover > div.Lang, ul.Navigation > li:focus-within > div.Lang {
  display: block;
  }

ul.Navigation > li > div.Lang a {
  display: inline-block;
  float: left;
  width: auto;
  padding: 0;
  margin: 0;
  border: none;
  }

ul.Navigation li {
  list-style: none;
  clear: left;
  position: relative;
  margin: 0.4em;
  padding: 0;
  }

ul.Navigation li.disabled {
  padding: 0.2em 1em;
  }

ul.Navigation > li > div.G_List {
  margin: 0;
  padding: 0;
  position: absolute;
  top: 0;
  left: 18em;
  display: none;
  border: none;
  }

ul.Navigation > li > div.G_List > div {
  margin: 0;
  padding: 0.2em 0.4em;
  left: 2px;
  width: 52em;
  position: absolute;
  box-shadow: 5px 5px 2px;
  }

ul.Navigation > li > div.G_List a {
  margin: 0;
  padding: 0;
  position: relative;
  width: 2em;
  float: left;
  border: none;
  display: inline;
  }

ul.Navigation > li > div.G_List a.disabled:hover, ul.Navigation > li > div.G_List a.disabled:focus {
  border: none !important;
  }

ul.Navigation li > ul {
  margin: 0;
  padding: 0;
  position: absolute;
  top: -0.4em;
  left: 18em;
  display: none;
  }

ul.Navigation li:hover > ul, ul.Navigation li:focus-within > ul, ul.Navigation > li:hover > div.G_List, ul.Navigation > li:focus-within > div.G_List {
  display: block;
  z-index: 1;
  }

ul.Navigation li > ul.Subsect {
  display: block;
  z-index: 0;
  }

ul.Navigation li > ul li {
  float: none;
  display: block;
  margin-bottom: 0.2em;
  box-shadow: 5px 5px 2px;
  }

ul.Navigation a, ul.Navigation span {
  display: block;
  width: 16em;
  padding: 0.2em 1em;
  font-weight: bold;
  }

div#TOC ul {
  list-style: none;
  }

div#TOC li {
  clear: left;
  margin: 0.2em;
  padding: 0;
  }

div#TOC li > a {
  font-weight: bold;
  font-style: normal;
  text-decoration: underline;
  }

div#TOC > ul > li > ul {
  counter-reset: sectionlink;
  }

div#TOC > ul > li > ul > li > a:before {
  content: counter(chapterlink)'.'counter(sectionlink)'. ';
  counter-increment: sectionlink;
  }

div.pagebar {
  border: none;
  position: relative;
  float: none;
  }

div.pagebar ul {
  list-style: none;
  position: relative;
  margin: 0;
  padding-top: 0.5em;
  padding-bottom: 0.5em;
  }
   
div.pagebar ul a {
  float: right;
  }

div.pagebar ul li {
  display: inline;
  margin: 0.2em;
  padding: 0.2em;
  position: relative;
  }
