body {
  margin: 0;
  padding: 0;
  font-family: sans-serif;
  font-size: 13px;
  line-height: 1.4;
  border-width: 0;
}

.no-scroll-bar {
    overflow-y: scroll;
    scrollbar-width: none; /* Firefox */
    -ms-overflow-style: none;  /* Internet Explorer 10+ */
}

.no-scroll-bar::-webkit-scrollbar { /* WebKit */
    width: 0;
    height: 0;
}

.container {
  padding: 1.5vw;
}

h1 {
  font-size: xx-large;
  margin-top: 32px;
  margin-bottom: 10px;
}

h2 {
  font-size: x-large;
  font-style: italic;
  text-decoration: underline;
  margin-top: 28px;
  margin-bottom: 10px;
}

h3 {
  font-size: large;
  margin-top: 24px;
  margin-bottom: 10px;
}

ol, ul, p,
h4, h5, h6  {
  margin-top: 20px;
  margin-bottom: 10px;
}

/* ----------- ----------- ----------- */
/* HEADER */


#header {
  padding: 0;
  padding-top: 20px;
  padding-bottom: 10px;
}

#header-left {
  margin: 0;
  padding: 0;
}

#header-right {
}

/* ----------- ----------- ----------- */

#main {
  padding: 0;
  font-size: 13px;
  font-weight: normal;
}

#main-left {
  position: fixed;
  width: 21vw;
  min-height: 100vh;
  margin-left: 3vw;
  padding: 2vw;
  padding-top: 10px;
  border-width: 0;
  border-left-width: thin;
  border-right-width: thin;
}

#main-right {
  /* position to the right of main-left */
  transform: translate(24vw, 0);
  font-size: 13px;
  width: 73vw;
  min-height: 99vh;
  margin-right: 3vw;
  padding: 7vw;
  padding-top: 24px;
  border-width: 0;
  border-right-width: thin;
}

/* ----------- ----------- ----------- */
/* LOGO */

#main-logo {
  width: 17vw;
  height: auto;
  border: 0;
  margin: auto;
  margin-top: 1vw;
}

#main-logo-image {
  width: 13vw;
  margin: 2vw;
  margin-bottom: 0;
  margin-top: 0;
}

#main-logo-heading {
  width: 17vw;
  margin: 0;
  margin-top: 0;
  margin-bottom: 5px;
  font-family: serif;
  font-style: italic;
  font-size: 2vw;
  font-weight: bold;
  line-height: 1.1;
  padding: 0;
}


/* ----------- ----------- ----------- */
/* MENU */

#main-menu {
}

#menu-heading {
  font-family: serif;
  font-style: italic;
  font-size: 17px;
  font-weight: bold;
  line-height: 1.1;
}

ul.main-menu {
  padding: 0;
  margin: 0;
  list-style-type: none;
}

li.main-menu {
  padding: 5px;
  padding-left: 16px;
  margin: 1px;
  font-family: serif;
  font-style: italic;
  font-size: 13px;
  font-weight: bold;
  line-height: 1.1;
  border-width: thin;
}

a.main-menu {
  padding-left: 0;
  text-decoration: none;
}


/* ----------- ----------- ----------- */
/* MAIN CONTENT */

img {
  max-width: 90%;
  margin: 20px;
  border-width: thin;
  border-style: solid;
}

pre {
  padding: 0;
  padding-left: 16px;
  border-width: thin;
  border-style: solid;
  width: 100%;
  font-family: monospace;
  font-size: 11px;
  overflow: auto;
}
code {
  padding: 0;
}


/* ----------- ----------- ----------- */
/* FOOTER */

#footer {
  border: 0;
}