body {
      font-family: Arial, sans-serif;
      text-align: center;
      padding: 20px;
      background-color: #e6e6e6;
      min-width: 700px;
      transition: background-color 0.3s ease 0s, color 0.3s ease 0s;
      --green: #41e38e;
      --border-color: #000;
      --shadow-color: grey;
    }
    
    .darkmodeicon {
      scale: 2.5;
      max-height: 20px;
      transform: translateY(1px);
    }

    .logolink {
      background-color: var(--green);
      color: #fff;
      padding: 7px 0px;
      font-size: 20px;
      border: none;
      cursor: pointer;
      text-decoration: none;
      transition: background-color 0.3s ease;
      min-height: 46px;
      display: block;
    }
    
    .logolink:hover {
      background-color: #008040;
    }
    
    
    .title-bar {
      border-radius: 10px;
      max-height: 60px;
      background-color: var(--green);
      padding: 5px;
      color: #fff;
      display: flex;
      align-items: center;
      position: fixed;
      top: 5px;
      left: 5px;
      right: 5px;
      overflow-y: hidden;
      overflow-x: auto;
      white-space: nowrap;
      transition: background-color 0.3s ease;
      box-shadow: var(--shadow-color) 5px 5px 5px;
   }
    
    .title-img {
      max-height: 40px;
      margin-right: 10px;
      margin-left: 10px;
      transform: translateY(3px);
    }
    
    .title-bar .buttons {
      margin-right: 0px;
      width: 100%;
      display: flex;
    }
    
    .titlebuttons {
      background-color: var(--green);
      color: #fff;
      padding: 18px 10px;
      font-size: 20px;
      border: none;
      cursor: pointer;
      text-decoration: none;
      transition: background-color 0.3s ease;
    }
    
    .titlebuttons:hover {
      background-color: #008040;
    }
    
    h1 {
      color: #333;
      font-size: 40px;
      margin-top: 10px;
    }
    
    p {
      color: #666;
      font-size: 20px;
      line-height: 1.5;
      margin-top: 0px;
      margin-bottom: 0px;
    }
    
    .container {
      margin: 0 auto;
      margin-top: 70px;
    }
    
    .burgerbox {
      /* All of this CSS was made by ctaposter, I just yanked it from Burgernotes */
      box-shadow: var(--shadow-color) 5px 5px 5px;
      width: calc(100% - 7vh - 7vh - 3.5vh);
      margin-bottom: 35px;
      margin-left: 7vh;
      margin-right: 7vh;
      padding-left: 10px;
      padding-right: 10px;

      border: solid;
      border-radius: 8px;
      border-width: 1px;
      border-color: var(--border-color);

      padding-top: 15px;
      padding-bottom: 15px;
      font-size: 17px;
      padding-bottom: 30px;
      background-color: var(--green);
      transition: all 0.3s ease 0s;
    }

    .burgerbox h1 {
      color: #fff;
    }

    .burgerbox p {
      color: #fff;
    }

    .logo {
      max-width: 200px;
      margin-bottom: 20px;
      margin-top: 95px;
    }
    
    .download-button {
      background-color: var(--green);
      color: #fff;
      padding: 15px 30px;
      font-size: 24px;
      text-decoration: none;
      border-radius: 5px;
      transition: background-color 0.3s ease;
      box-shadow: var(--shadow-color) 5px 5px 5px;
    }
    
    .download-button.disabled {
      background-color: #ccc;
      pointer-events: none;      
    }
    
    .download-button.disabled:hover {
      background-color: #ccc;
      pointer-events: none;      
    }
    
    .download-button:hover {
      background-color: #008040;
    }

    .architecture-dropdown-container {
      margin-bottom: 20px;
    }

    .architecture-dropdown {
      background-color: #e6e6e6;
      color: #333;
      padding: 10px;
      font-size: 16px;
      border: 2px solid var(--green);
      border-radius: 5px;
      transition: border-color 0.3s ease;
      margin-bottom: 10px;
      box-shadow: var(--shadow-color) 5px 5px 5px;
    }

    .architecture-dropdown:hover {
      border-color: #008040;
    }

    /* Additional styles for dark mode */
    .dark-mode {
      background-color: #222;
      color: #fff;
      --green: #006600;
      --txt2: #fff;
      --border-color: #fff;
      --shadow-color: black;
    }

    .title-bar button.dark-mode-button {
      background-color: var(--green);
      color: #fff;
      margin-left: auto;
      margin-right: 12px;
      padding: 18px 20px;
      font-size: 20px;
      border: none;
      cursor: pointer;
      text-decoration: none;
      transition: background-color 0.3s ease;
    }

    .title-bar button.dark-mode-button:hover {
      background-color: #008040;
    }

    body.dark-mode h1 {
      color: #fff;
    }

    body.dark-mode p {
      color: #fff;
    }