/* Quine-McCluskey Styling */

.qmcMathFont {
  font-family: "Times New Roman", Georgia, Serif;
}

.qmcTableClass {
  border-collapse: collapse;
  margin: 10px 0;
  font-family: Arial, sans-serif;
}

.qmcTableClass th,
.qmcTableClass td {
  padding: 5px 10px;
  text-align: center;
}

.qmcHeaderX,
.qmcHeaderY {
  background-color: #f0f0f0;
  font-weight: bold;
  border: 1px solid #999;
}

.qmcBit {
  border: 1px solid #ccc;
  min-width: 30px;
}

.qmcBitY {
  background-color: #e8f4f8;
  cursor: pointer;
  font-weight: bold;
}

.qmcBitY:hover {
  background-color: #d0e8f0;
}

.qmcTdNoBorder {
  border: none;
  text-align: left;
  padding-right: 10px;
}

.qmcPrimItem {
  font-size: 14px;
}

.qmcTableLabelDiv {
  margin-top: 20px;
  margin-bottom: 10px;
  font-weight: bold;
}

.qmcTableResultDiv {
  margin-top: 20px;
}

.qmcIndent {
  margin-left: 20px;
  margin-top: 10px;
}

/* HTL Braunau Farbschema */
:root {
  --htl-dark-blue: #1e3a5f;
  --htl-blue: #2c5282;
  --htl-light-blue: #4a90b8;
  --htl-orange: #f59e0b;
  --htl-orange-hover: #d97706;
  --htl-light-gray: #f3f4f6;
  --htl-dark-gray: #374151;
}

/* Allgemeine Styles - HTL Theme */
body {
  background-color: #fafbfc;
  font-family: -apple-system, BlinkMacSystemFont, 'Segoe UI', Roboto, 'Helvetica Neue', Arial, sans-serif;
  color: var(--htl-dark-gray);
}

/* HTL Navbar */
.bg-htl {
  background: linear-gradient(135deg, var(--htl-dark-blue) 0%, var(--htl-blue) 100%);
}

.navbar-brand {
  font-weight: 600;
  font-size: 1.1rem;
}

/* HTL Textfarben */
.text-htl-dark {
  color: var(--htl-dark-blue) !important;
}

.text-htl-orange {
  color: var(--htl-orange) !important;
}

.text-htl-blue {
  color: var(--htl-blue) !important;
}

/* HTL Buttons */
.btn-htl-orange {
  background-color: var(--htl-orange);
  border-color: var(--htl-orange);
  color: white;
  font-weight: 500;
  transition: all 0.3s ease;
}

.btn-htl-orange:hover {
  background-color: var(--htl-orange-hover);
  border-color: var(--htl-orange-hover);
  color: white;
  transform: translateY(-1px);
  box-shadow: 0 4px 12px rgba(245, 158, 11, 0.3);
}

.btn-htl-blue {
  background-color: var(--htl-blue);
  border-color: var(--htl-blue);
  color: white;
  font-weight: 500;
  transition: all 0.3s ease;
}

.btn-htl-blue:hover {
  background-color: var(--htl-dark-blue);
  border-color: var(--htl-dark-blue);
  color: white;
  transform: translateY(-1px);
  box-shadow: 0 4px 12px rgba(44, 82, 130, 0.3);
}

.btn-outline-htl {
  border-color: var(--htl-blue);
  color: var(--htl-blue);
  font-weight: 500;
  transition: all 0.3s ease;
}

.btn-outline-htl:hover {
  background-color: var(--htl-blue);
  border-color: var(--htl-blue);
  color: white;
  transform: translateY(-1px);
}

.btn:active {
  transform: translateY(1px);
}

/* HTL Card Styling */
.card {
  border: none;
  border-radius: 0.75rem;
  overflow: hidden;
}

.card-header {
  border-bottom: 3px solid var(--htl-orange);
  font-weight: 600;
  padding: 1rem 1.5rem;
}

.bg-htl-light {
  background-color: var(--htl-light-gray);
}

.card.shadow {
  box-shadow: 0 4px 16px rgba(0, 0, 0, 0.08) !important;
}

.card:hover {
  box-shadow: 0 6px 20px rgba(0, 0, 0, 0.12) !important;
  transition: box-shadow 0.3s ease;
}

/* HTL Alert */
.alert-htl-orange {
  background-color: #fef3c7;
  border-left: 4px solid var(--htl-orange);
  border-radius: 0.5rem;
  color: var(--htl-dark-gray);
}

.alert-htl-orange .alert-heading {
  color: var(--htl-orange-hover);
}

/* HTL Tab Navigation */
.nav-htl .nav-link {
  color: var(--htl-dark-gray);
  font-weight: 500;
  border: none;
  border-bottom: 3px solid transparent;
  transition: all 0.3s ease;
  padding: 1rem 1.5rem;
}

.nav-htl .nav-link:hover {
  border-color: transparent;
  border-bottom-color: var(--htl-orange);
  color: var(--htl-orange);
  background-color: rgba(245, 158, 11, 0.05);
}

.nav-htl .nav-link.active {
  color: var(--htl-orange);
  border-color: transparent;
  border-bottom-color: var(--htl-orange);
  background-color: rgba(245, 158, 11, 0.08);
  font-weight: 600;
}

/* Tab Content Animation */
.tab-pane {
  animation: fadeIn 0.3s ease-in-out;
}

@keyframes fadeIn {
  from {
    opacity: 0;
    transform: translateY(10px);
  }
  to {
    opacity: 1;
    transform: translateY(0);
  }
}

/* Display Areas */
#myKarnaughMap {
  min-height: 400px;
}

#myQmcDisplay {
  min-height: 300px;
}

/* HTL Form Elements */
.form-select:focus,
.form-control:focus {
  border-color: var(--htl-orange);
  box-shadow: 0 0 0 0.2rem rgba(245, 158, 11, 0.25);
}

.form-label {
  color: var(--htl-dark-gray);
  font-weight: 500;
  margin-bottom: 0.5rem;
}

/* Notification - HTL Style */
.notification {
  position: fixed;
  top: 80px;
  right: 20px;
  z-index: 1050;
  animation: slideIn 0.3s ease-out;
  min-width: 250px;
  box-shadow: 0 6px 20px rgba(0, 0, 0, 0.15);
}

.notification.alert-success {
  background-color: #fef3c7;
  border-left: 4px solid var(--htl-orange);
  color: var(--htl-dark-gray);
}

.notification.fade-out {
  animation: fadeOut 0.3s ease-out;
}

@keyframes slideIn {
  from {
    transform: translateX(400px);
    opacity: 0;
  }
  to {
    transform: translateX(0);
    opacity: 1;
  }
}

@keyframes fadeOut {
  from {
    opacity: 1;
  }
  to {
    opacity: 0;
  }
}

/* LaTeX-Copy-Button - Bootstrap Style */
.latex-copy-btn {
  padding: 4px 10px;
  margin-left: 8px;
  font-size: 0.875rem;
}

/* Footer */
.footer {
  margin-top: auto;
}

.footer a:hover {
  color: var(--htl-orange) !important;
  transition: color 0.3s ease;
}

.footer .list-inline-item {
  font-size: 0.95rem;
}

.border-top {
  border-top: 2px solid #dee2e6 !important;
}