*:not(nav) a { color: #9cdcfe;
      }

      body { 
        margin: 0; 
        font-family: 'Fira Code', ui-monospace, SFMono-Regular, Menlo, Monaco, monospace;
        background-color: #1b1b1e;
        color: #e0e0e0;
        padding: 5px;
        -webkit-user-select: none; /* Safari and iOS */
        -moz-user-select: none;    /* Firefox (older versions) */
        -ms-user-select: none;     /* Internet Explorer/Edge */
        user-select: none;         /* Standard syntax for modern browsers */
        min-width: 400px;
      }

      @media screen and (max-width: 768px) {
        nav li:nth-child(4) {
          display: none;
        }
      }

      ol {
        padding-left: 40px !important;
        color: snow;
      }

      body > * {
        background-color: #141414;
        border: 1px solid #3a3a3e;
        -webkit-user-select: none; /* Safari and iOS */
        -moz-user-select: none;    /* Firefox (older versions) */
        -ms-user-select: none;     /* Internet Explorer/Edge */
        user-select: none;         /* Standard syntax for modern browsers */
      }

      body > *:not(nav) {
        margin: 5px;
        padding: 0;
        border-radius: 5px;
      }

      body > *:not(nav) > * {
        margin: 0;
        padding: 5px;
      }

      body > *:not(nav) > *:hover {
        background-color: #264f78;
      }

      nav {
        position: fixed;
        top: 0;
        left: 0;
        right: 0;
        border: none;
        border-bottom: 1px solid #858585;
        z-index: 1000;
        background-color: #2a2a3e;
      }
      nav a {
        color: #e0e0e0;
      }

      header {
        margin-top: 35px !important;
      }

      header h1 { margin: 0; padding: 0.5rem 1rem; }

      nav ul { margin: 0; padding: 0 1rem; list-style: none; display: flex; gap: 0.5rem; align-items: center; }
      nav a { color: inherit; text-decoration: none; padding: 0.25rem 0.5rem; display: block; }
      
      hr {
        height: 2px !important;
        margin-left: 15px !important;
        margin-right: 15px !important;
        padding: 0 !important;
        border: 0 !important;
        background-color: #ccc;
      }