body {
  margin: 13;
  padding: 5;
  background: #001f3f;
}
.navbar {
  display:flex;
  align-items: center;
  justify-content: center;
}

/* change navbar styling for this page */
.nav-btn {
  font-size: 22px;
  padding: 12px 20px;
  background: #0f2d3f;
  color: #ffbd2e;
  border: 1px solid #00f0ff;
}
.nav-btn:hover {
  background: #00f0ff;
  color: #001f3f;
}

.terminal {
  max-width: 900px;
  margin: 30px auto;
  background: #000;
  border-radius: 8px;
  font-family: 'Courier New', monospace;
  color: #00f0ff;
}

.prompt {
  color: #00f0ff;
  margin-right: 8px;
}

p {
    color: #ffd988;
}

.terminal-header {
  display: flex;
  align-items: center;
  padding: 10px;
  border-radius: 10px;
  border: 1px solid #00f0ff33;
}

.terminal-body {
  padding: 20px;
  font-size: 15px;
  line-height: 1.5;
}

.dotred {
  height: 12px;
  width: 12px;
  border-radius: 50%;
  margin-right: 8px;
  background: #ff5f56;
}

.dotyellow {
  height: 12px;
  width: 12px;
  border-radius: 50%;
  margin-right: 8px;
  background: #ffbd2e;;
}

.dotgreen {
  height: 12px;
  width: 12px;
  border-radius: 50%;
  margin-right: 8px;
  background: #27c93f;
}