/* Terminal Button Styles */

/* Base button styles with higher specificity */
.terminal-btn,
button.terminal-btn,
input.terminal-btn,
a.terminal-btn {
  background: #238636;
  color: #ffffff;
  border: 1px solid #238636;
  padding: 8px 16px;
  border-radius: 4px;
  font-family: 'JetBrains Mono', monospace;
  font-size: 14px;
  text-decoration: none;
  cursor: pointer;
  transition: all 0.2s ease;
  display: inline-block;
}

.terminal-btn:hover,
button.terminal-btn:hover,
input.terminal-btn:hover,
a.terminal-btn:hover {
  background: #2ea043;
  border-color: #2ea043;
  color: #ffffff;
  box-shadow: 0 0 8px rgba(35, 134, 54, 0.4);
  text-decoration: none;
}

/* Secondary button styles */
.terminal-btn-secondary,
button.terminal-btn-secondary,
input.terminal-btn-secondary,
a.terminal-btn-secondary {
  background: #21262d;
  color: #00ff41;
  border: 1px solid #30363d;
  padding: 8px 16px;
  border-radius: 4px;
  font-family: 'JetBrains Mono', monospace;
  font-size: 14px;
  text-decoration: none;
  cursor: pointer;
  transition: all 0.2s ease;
  display: inline-block;
}

.terminal-btn-secondary:hover,
button.terminal-btn-secondary:hover,
input.terminal-btn-secondary:hover,
a.terminal-btn-secondary:hover {
  background: #30363d;
  border-color: #00ff41;
  color: #00ff88;
  text-decoration: none;
  box-shadow: 0 0 8px rgba(0, 255, 65, 0.3);
}

/* Primary button styles */
.terminal-btn-primary,
button.terminal-btn-primary,
input.terminal-btn-primary,
a.terminal-btn-primary {
  background: #238636;
  color: #ffffff;
  border: 1px solid #238636;
  padding: 8px 16px;
  border-radius: 4px;
  font-family: 'JetBrains Mono', monospace;
  font-size: 14px;
  text-decoration: none;
  cursor: pointer;
  transition: all 0.2s ease;
  display: inline-block;
}

.terminal-btn-primary:hover,
button.terminal-btn-primary:hover,
input.terminal-btn-primary:hover,
a.terminal-btn-primary:hover {
  background: #2ea043;
  border-color: #2ea043;
  color: #ffffff;
  box-shadow: 0 0 8px rgba(35, 134, 54, 0.4);
  text-decoration: none;
}

/* Danger button styles */
.terminal-btn-danger,
button.terminal-btn-danger,
input.terminal-btn-danger,
a.terminal-btn-danger {
  background: #da3633;
  color: #ffffff;
  border: 1px solid #da3633;
  padding: 8px 16px;
  border-radius: 4px;
  font-family: 'JetBrains Mono', monospace;
  font-size: 14px;
  text-decoration: none;
  cursor: pointer;
  transition: all 0.2s ease;
  display: inline-block;
}

.terminal-btn-danger:hover,
button.terminal-btn-danger:hover,
input.terminal-btn-danger:hover,
a.terminal-btn-danger:hover {
  background: #f85149;
  border-color: #f85149;
  box-shadow: 0 0 8px rgba(248, 81, 73, 0.4);
  color: #ffffff;
}

/* Terminal actions container */
.terminal-actions {
  display: flex;
  gap: 12px;
  margin-top: 16px;
  padding: 16px 0;
  flex-wrap: wrap;
}

/* Terminal links */
.terminal-links {
  text-align: center;
  margin-top: 16px;
}

.terminal-link,
a.terminal-link {
  color: #00ff88;
  text-decoration: none;
  font-family: 'JetBrains Mono', monospace;
  font-size: 14px;
  transition: color 0.2s ease;
}

.terminal-link:hover,
a.terminal-link:hover {
  color: #00ff41;
  text-decoration: underline;
}

/* Ensure terminal buttons override default styles */
body button, 
body input[type="submit"], 
body input[type="button"] {
  font-family: 'JetBrains Mono', monospace;
}