/* Base styles shared by all pages */
body {
  font-family: sans-serif;
  line-height: 1.5;
}
h1 {
  font-size: 24px;
  border-bottom: 2px solid #ccc;
  padding-bottom: 5px;
  margin-bottom: 20px;
}
ul {
  list-style: none;
  padding: 0;
}
ul li {
  margin-bottom: 10px;
}
ul li a {
  text-decoration: none;
  color: #0066cc;
}
ul li a:hover {
  text-decoration: underline;
}

/* Styles specifically for the generated run-page (the one with the alt panel and main column) */
.run-page {
  height: 100%;
  margin: 0;
  padding: 0;
  overflow: hidden; /* only run-page needs this fullscreen, no-scroll setup */
}

.run-page .highlight-overlay {
  box-sizing: border-box;
  border: 4px dashed yellow;
  background: rgba(255, 255, 0, 0.2);
  position: absolute;
  z-index: 999999;
  pointer-events: none;
}


.run-page button[data-type].selected-button {
  border: 2px solid #0066cc;
  background: #e6f7ff;
  color: #000;
  font-weight: bold;
}

.run-page .highlight-overlay {
  box-sizing: border-box;
  animation: overlay-border-blink 1s infinite alternate;
  border: 5px solid red;
  background: transparent;
}

@keyframes overlay-border-blink {
  0%   { border-color: red; }
  100% { border-color: orange; }
}