/* Outdated Plain HTML Aesthetic Browser Defaults */
body {
  font-family: "Times New Roman", Times, serif;
  background-color: #ffffff;
  color: #000000;
  margin: 20px;
  line-height: 1.3;
}

/* Layout structural system */
.main-layout {
  display: block;
}

/* Nav links looking like early 90s bulletin text nodes */
nav button {
  font-family: "Times New Roman", Times, serif;
  background: none;
  border: none;
  color: #0000ee;
  text-decoration: underline;
  cursor: pointer;
  padding: 4px 6px;
  font-size: 1.05em;
}

nav button:hover {
  color: #551a8b;
}

nav button.active {
  color: #000000;
  text-decoration: none;
  font-weight: bold;
}

/* Standard plain borders */
fieldset {
  border: 1px solid #000000;
  margin: 15px 0;
  padding: 12px;
}

legend {
  font-weight: bold;
  padding: 0 6px;
}

input[type="text"],
input[type="password"],
input[type="search"] {
  font-family: "Times New Roman", Times, serif;
  background-color: #ffffff;
  color: #000000;
  border: 1px solid #000000;
  padding: 3px;
}

button {
  font-family: "Times New Roman", Times, serif;
  background-color: #efefef;
  color: #000000;
  border: 1px solid #767676;
  padding: 2px 6px;
  cursor: pointer;
}

button:active {
  border-style: inset;
}

button:disabled {
  color: #888888;
  border-color: #cccccc;
  cursor: not-allowed;
}

/* Coding Standards Output */
.standard-card {
  border: 1px solid #000000;
  padding: 10px;
  margin: 12px 0;
}

.standard-number {
  font-weight: bold;
  font-size: 1.1em;
}

.standard-meta {
  font-style: italic;
  font-size: 0.95em;
  margin-bottom: 6px;
}

.takeaway {
  margin-top: 10px;
  padding-left: 6px;
  border-left: 3px solid #000000;
}

/* Checklist Styling */
.criteria-list li {
  margin-bottom: 10px;
}

/* Utility classes */
[hidden] {
  display: none !important;
}

dl dt {
  margin-top: 14px;
}