* {
    box-sizing: border-box
  }
  
  /* TEXT */
  body {
    /* Top, right, bottom (probably), left. */
    margin: 5% 25% 5% 25%;
    font-family: Verdana;
    line-height: 150%;
    background-color: #f6f5ef;
    background-color: #f5efe4;
    background-color: #f6f1e7;
    color: #080808;
  }

  body.dark-mode {
    background-color: #110418;
    color: #ededed;
  }

  .menu {
    height: 98%; /* Full-height: remove this if you want "auto" height */
    /* width: 250px; */
    width: 220px; /* Set the width of the sidebar */
    position: fixed; /* Fixed Sidebar (stay in place on scroll) */
    z-index: 1; /* Stay on top */
    top: 0; /* Stay at the top */
    left: 0;
    background-color: #f5f1d7;
    background-color: #f3e8d3;
    background-color: #f4e6cb;
    overflow-x: hidden; /* Disable horizontal scroll */
    /* padding-top: 20px; */
    margin-left: 0.5%;
    margin-top: 0.5%;
    margin-bottom: 0.5%;
  }

  
  body.dark-mode .menu {
    background-color: #210f2b;
    color: #ededed;
  }
  
  /* The navigation menu links */
  .menu .menu-element {
    margin: 5px 25px 5px 25px;
    padding: 8px 10px 8px 10px;
    display: block;
    text-align: left;

    text-decoration: none;
    font-size: 20px;
    color: #080808;
  }
  
  /* When you mouse over the navigation links, change their color */
  .menu .menu-element:hover {
    color: #960de5;
    color: #ee970a;
  }
  .menu .current-page {
    background-color: #e9d5b5;
  }

  /* dark mode */
  body.dark-mode .menu .menu-element {
    color: #ededed;
  }
  body.dark-mode .menu .menu-element:hover {
    color: #ee970a;
    color: #960de5;
  }
  body.dark-mode .menu .current-page {
    background-color: #2f173c;
  }

  /* button for switching colour themes */
  .menu .theme-button {
    margin-top: 150px;
    width: 50px;
    height: 50px;
    background-color: #e9d5b5;
    color: #080808;
  }
  .menu .theme-button:hover {
    background-color: #2f173c;
  }
  body.dark-mode .menu .theme-button {
    background-color: #2f173c;
    color: #ededed;
  }
  body.dark-mode .menu .theme-button:hover {
    background-color: #e9d5b5;
  }

  /* dark and light versions of logo */
  .dark-logo {
    margin-left: 20px;
    margin-top: 20px;
    display:none;
  }
  body.dark-mode .dark-logo {
    display:inline;
  }
  .light-logo {
    margin-left: 20px;
    margin-top: 20px;
    display:inline;
  }
  body.dark-mode .light-logo {
    display:none;
  }
  
  .menu .big-name {
    margin-left: 20px;
    margin-right: 20px;
    margin-bottom: 60px;
    margin-top: 0px;
    text-decoration: none;
    font-size: 35px;
    line-height:100%;
    display: block;
    text-align: left;
    font-family:Calibri;
    color: #080808;
  }
  .menu .big-name:hover {
    color: #960de5;
    color: #ee970a;
  }

  body.dark-mode .big-name {
    color: #ededed;
  }
  body.dark-mode .menu .big-name:hover {
    color: #ee970a;
    color: #960de5;
  }




  /* Un-highlighted link. */
  a {
    font-weight: bold;
    text-decoration: none;
    color: #db1313;
  }
  /* Highlighted link. */
  a:hover {
    color: #ee970a;
    color: #960de5;
    color: #ee970a;
  }
  body.dark-mode a:hover {
    color: #ee970a;
    color: #960de5;
  }
  
  h1 {
    text-align: center;
  }
  
  h2 {
    margin-top: 50px;
    margin-bottom: 0px;
  }
  
  h3 {
    /* margin-bottom: 0px; */
    margin-top: 30px;
    margin-bottom: 0px;
  }

  ul {
    margin-top: 0px;
  }
  

  .img-right {
    display: block;
    float: right;

    margin-left: 25px;
    margin-right: 0px;
    margin-top: 20px;
    margin-bottom: 20px;
  }
  .img-right img {
    display: block;
  }

  .img-left {
    display: block;
    float: left;

    margin-left: 0px;
    margin-right: 25px;
    margin-top: 20px;
    margin-bottom: 20px;
  }
  .img-left img {
    display: block;
  }

  .image-caption {
    display: inline-block;
    
    background-color: #f4e6cb;

    font-size: 80%;
    text-align:center;
    padding:5px;
  }
  
  body.dark-mode .image-caption {
    background-color: #210f2b;
  }