body {
  font-family: Arial, sans-serif;
  background-color: #f5f5f5;
  text-align: center;
  padding: 50px;
}

h1 {
  margin-bottom: 40px;
}

.elevator-container {
  display: flex;
  justify-content: center;
  gap: 30px;
  flex-wrap: wrap;   /* ✅ allow wrapping instead of cutting off */
}

.elevator {
  background-color: white;
  padding: 30px;
  border-radius: 15px;
  width: 200px;
  box-shadow: 0 4px 10px rgba(0,0,0,0.1);
  flex: 1 1 250px;   /* ✅ let boxes shrink/grow but prefer ~250px width */
}

/*!* Mobile-friendly tweaks *!*/
/*@media (max-width: 768px) {*/
/*  .elevator-container {*/
/*    flex-direction: column;   !* stack vertically *!*/
/*    align-items: center;      !* ✅ center the stacked boxes *!*/
/*  }*/

/*  .elevator {*/
/*    width: 90%;        !* nearly full width *!*/
/*    max-width: 400px;  !* but don’t stretch too wide *!*/
/*    margin: 0 auto;*/
/*  }*/
/*}*/

.status {
  font-size: 1.2em;
  margin-top: 20px;
}

.operational {
  color: green;
  font-weight: bold;
}

.broken {
  color: red;
  font-weight: bold;
}

/* --- Button styling --- */
.report-btn {
  margin-top: 15px;
  padding: 10px 15px;
  border: none;
  border-radius: 8px;
  background-color: #007BFF;   /* Blue button */
  color: white;
  cursor: pointer;
  font-weight: bold;
  transition: background-color 0.2s;
}

.report-btn:hover {
  background-color: #0056b3;
}

/* --- Optional: make the "broken" button red instead of blue --- */
.report-broken-btn {
  /* Uncomment to override */
  /* background-color: #dc3545;   red */
}
.report-broken-btn:hover {
  /* background-color: #a71d2a; */
}

.imprint {
  position: fixed;
  bottom: 20px;
  left: 20px;
  font-size: 2.0em;
  color: #555;
}

.imprint a {
  text-decoration: none;
  color: #555;
  transition: color 0.2s;
}

.imprint a:hover {
  color: #007BFF; /* Blue on hover */
}

.admin-btn {
  opacity: 0.85;
  margin-top: 8px;
}
.admin-set-op { background-color: #28a745; }           /* green */
.admin-set-op:hover { background-color: #218838; }
.admin-set-br { background-color: #dc3545; }           /* red */
.admin-set-br:hover { background-color: #c82333; }