:root {
  --brown: #c96f41;
  --brown-grey: #efd4c6;
  --brown-greyer: #faf1ec;
  --magenta: #a36bbd;
  --green: #75a656;
  --white: #efeae8;
  --link: #252d8d;
  --link-hover: #3a4aba;
}

body {
  background-color: var(--white);
  font-family: Georgia, serif;
  margin: 0;
}

#header {
  font-family: "Avant Garde", sans-serif;
  position: fixed;
  top: 0;
  left: 0;
  right: 0;
  background-color: var(--brown);
  color: var(--white);
  box-shadow: 0 0.1rem 0.2rem rgba(0,0,0,.5);
  margin: 0 0 1em 0;
  display: flex;
}

#header p {
  margin: 0;
}

#header a, #header a:link, #header a:visited, #header a:hover {
  text-decoration: none;
  color: inherit;
}
#header a.contact-link {
  font-style: italic;
}

/* Will be overwritten in mobile for first depth: */
#menu ul {
  list-style-type: none;
  /* We want the <li> background to start at the very left, at every depth: */
  /* and some room above and below: */
  padding: 0;
}

@media screen and (max-width:750px) {
  #header {
    height: 3rem;
    padding-left: 3rem;
    flex-direction: column;
    align-items: center;
    justify-content: center;
  }
  #header p.title {
    padding: 0 0 0 1rem;
    font-size: 1rem;
    width: 100%;
  }
  #header p.contact {
    width: 100%;
    text-align: right;
    padding: 0 1rem 0 0;
  }

  #menu {
    display: block;
    position: fixed;
    left: 0rem;
    top: 0rem;
    width: 100%;
    font-size: 1.4rem;
    /* Let the clicks reach the links in the header below: */
    pointer-events: none;
    box-shadow: 0 0.1rem 0.2rem rgba(0,0,0,.5);
  }
  #menu ul {
    margin: 0;
    /* Yet allow the menu entries to get the click first: */
    pointer-events: all;
  }
  #menu a {
    background-color: var(--brown-grey);
  }
  #menu > ul {
    /* At first level we want some space on top and below: */
    padding: 1rem 0 1rem 0;
    background-color: var(--brown-grey);
  }
  #dyn-menu {
    display: none;  /* will be toggled by javascript */
  }
  #hamburger {
    display: inline-block;
    background-color: var(--brown-grey);
    text-align: center;
    margin: 0 auto;
    height: 3rem;
    width: 3rem;
    font-size: 2rem;
    cursor: pointer;
    /* Hamburger button also want clicks: */
    pointer-events: all;
  }

  #page {
    margin: 0rem 1rem 4rem 1rem
  }
}

@media screen and (min-width:751px) {
  #header {
    flex-direction: row;
    align-items: center;
    justify-content: space-between;
  }

  #header p.title {
    font-size: 110%;
    padding: 0 1rem 0 1rem;
  }
  #header p.contact {
    padding: 0 1rem 0 0;
  }

  #menu {
    display: block;
    position: fixed;
    left: 0;
    top: 2rem;
    width: 20rem;
  }

  #hamburger {
    display: none;
  }

  #page {
    margin: 1rem 3rem 6rem 22rem;
    font-size: 1.1rem;
    line-height: 1.3em;
  }
}

#menu a {
  color: #000;
  text-decoration: none;
}

#menu a:visited {
  color: #000;
  text-decoration: none;
}

#menu a:hover {
  text-decoration: none;
  color: var(--link-hover);
}

#menu a.is-current {
  background-color: var(--brown-greyer);
}

#menu li {
  line-height: 1.5;
  font-family: "Avant Garde", sans-serif;
}

#menu li a {
  display: block;
  padding-right: 0;
}

#menu li a    { padding-left: 1em; }
#menu li li a { padding-left: 2em; }

a:link, a:visited {
  text-decoration: none;
  color: var(--link);
}

a:hover {
  color: var(--link-hover);
}

a[name]:hover { color: inherit; }

#page ul {
  line-height: 1.5em;
}

#page pre {
  background-color: var(--brown-greyer);
  line-height: 1.3em;
  padding: 1em;
  overflow: auto;
}

h1, h2, h3, h4 {
  font-family: "Avant Garde", sans-serif;
}

/* Make sure anchored titles do not fall below the page header: */
h1, h2 { padding-top: 4rem; }

/* For long title that wraps to the next line: */
h1 { line-height: 1.2em; }

p.date {
  font-style: italic;
  font-size: 0.9em;
  color: #333;
}

h2 {
  clear: both;
}

div.supported-techs {
  display: flex;
  flex-direction: row;
}

div.supported-techs2 {
  display: flex;
  flex-direction: column;
}

div.supported-types {
  padding-right: 1em;
}

div.supported-encodings {
}

div.supported-protocols {
}

div.supported-devices {
  padding-right: 4em;
}

img.product-illustration {
  width: min(100%, 900px);
}

h3.contact {
  text-align: center;
  font-size: 1.5rem;
}

h3.contact img {
  width: 1.5rem;
  height: 1.5rem;
}

p.contact-data {
  text-align: center;
  font-size: 1.5rem;
  padding-bottom: 2rem;
}