/* Plain HTML, circa 2005. System fonts and native controls are intentional. */
* { box-sizing: border-box; }
html { background: #d4d0c8; color: #000; }
body { max-width: 800px; margin: 20px auto; border: 1px solid #808080; background: #fff; font: 16px/1.4 "Times New Roman", Times, serif; }
a { color: #0000ee; text-decoration: underline; }
a:visited { color: #551a8b; }
header { padding: 10px 16px; border-bottom: 1px solid #808080; background: #eee; display: flex; align-items: center; flex-wrap: wrap; gap: 8px 20px; }
.brand { font-weight: bold; font-size: 20px; }
nav { display: flex; flex-wrap: wrap; gap: 16px; }
.version { margin-left: auto; font-size: 13px; }
main { padding: 0 20px; }
.intro { margin: 24px 0; }
h1 { margin: 0 0 12px; color: #000080; font-size: 28px; }
p { margin: 10px 0; }
h2 { margin: 0; font-size: 19px; }
h3 { margin: 0 0 10px; font-size: 16px; }
.connection { margin: 0; padding: 10px 14px; min-width: 0; border: 2px groove #ddd; }
legend { padding: 0 5px; font-weight: bold; }
.connection > div { max-width: 440px; }
.connection button { margin-top: 10px; }
.connection p { font-size: 14px; margin-bottom: 0; }
label { display: block; font-weight: bold; margin: 10px 0 4px; }
input, select, textarea, button { font: 13px/1.4 Tahoma, Arial, sans-serif; color: #000; }
input:not([type=range]):not([type=checkbox]), select, textarea { width: 100%; min-width: 0; padding: 4px; background: #fff; border: 2px inset #ddd; border-radius: 0; }
textarea { resize: vertical; }
textarea::placeholder, input::placeholder { color: #666; opacity: 1; }
button { padding: 4px 12px; border: 2px outset #ddd; border-radius: 0; background: #e8e8e8; cursor: pointer; }
button:hover { background: #dcdcdc; }
button:active { border-style: inset; }
button:disabled { color: #595959; cursor: wait; }
:focus-visible { outline: 2px solid #000080; outline-offset: 2px; }
small { display: block; margin-top: 5px; color: #444; font: 12px/1.45 Tahoma, Arial, sans-serif; }
input[type=range] { width: 100%; }
output { float: right; font-weight: normal; }
#workspace, #explorer { margin-top: 28px; }
.section-heading { display: flex; align-items: center; justify-content: space-between; flex-wrap: wrap; gap: 4px 16px; padding: 5px 8px; background: #000080; color: #fff; margin-bottom: 12px; }
.section-heading span, .section-heading a { font-size: 13px; }
.section-heading a, .section-heading a:visited { color: #fff; }
.workbench { display: grid; grid-template-columns: minmax(0, 1fr) 240px; gap: 14px; }
.source, .settings, .explorer-grid > div { min-width: 0; }
.source { display: flex; flex-direction: column; }
.pane-label { display: flex; align-items: center; justify-content: space-between; gap: 8px; margin-bottom: 6px; }
.pane-label label, .pane-label h3 { margin: 0; }
.source textarea { flex: 1; min-height: 300px; font: 15px/1.5 "Times New Roman", Times, serif; }
.source-meta { display: flex; justify-content: space-between; flex-wrap: wrap; gap: 4px; margin-top: 6px; font-size: 12px; }
.settings { background: #eee; border: 1px solid #aaa; padding: 10px; font-size: 14px; }
.row { display: flex; gap: 10px; }
.row > div { flex: 1; min-width: 0; }
.check { display: flex; align-items: flex-start; gap: 5px; font-weight: normal; }
details { margin-top: 12px; }
summary { color: #0000ee; text-decoration: underline; cursor: pointer; }
.actions { display: flex; flex-wrap: wrap; gap: 8px; margin-top: 12px; }
.actions span { width: 100%; font-size: 13px; }
#status { min-height: 22px; }
#status.error { color: #a00000; font-weight: bold; }
.metrics { display: grid; grid-template-columns: repeat(4, minmax(0, 1fr)); border: 1px solid #aaa; margin: 16px 0; }
.metric { padding: 8px; }
.metric + .metric { border-left: 1px solid #aaa; }
.metric span { font-size: 14px; }
.metric strong { display: block; font-size: 23px; }
.finding { display: grid; grid-template-columns: 150px minmax(0, 1fr); gap: 12px; padding: 8px 0; border-top: 1px solid #aaa; overflow-wrap: anywhere; }
.finding p { margin: 0; }
#findings h3 { margin-top: 16px; }
pre, .code, #constraints { font: 12px/1.5 "Courier New", Courier, monospace; }
pre { padding: 10px; background: #f3f3f3; border: 1px solid #aaa; white-space: pre-wrap; overflow-wrap: anywhere; max-height: 500px; overflow: auto; }
#output-text { font: 16px/1.5 "Times New Roman", Times, serif; background: #fff; max-height: none; }
.explorer-grid { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 16px; margin-top: 12px; }
#request-body { margin-bottom: 8px; }
#endpoint-description { font-size: 14px; }
#explorer-result { margin-top: 0; min-height: 260px; }
.notes { border-top: 1px solid #808080; margin: 28px 0 20px; padding-top: 14px; font-size: 14px; }
.notes h3 { margin: 14px 0 4px; }
.notes p { margin: 0; }
footer { border-top: 1px solid #808080; padding: 12px; text-align: center; font-size: 13px; }
footer .brand { font-size: 16px; }
footer p { margin: 4px; }
[hidden] { display: none !important; }
@media (max-width: 640px) {
  body { margin: 8px; }
  main { padding: 0 12px; }
  header { padding: 10px 12px; }
  nav { order: 3; width: 100%; }
  .workbench, .explorer-grid { grid-template-columns: 1fr; }
  .metrics { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .metric:nth-child(3) { border-left: 0; }
  .metric:nth-child(n+3) { border-top: 1px solid #aaa; }
  .finding { grid-template-columns: 1fr; gap: 4px; }
  button, select { min-height: 36px; }
  input:not([type=range]):not([type=checkbox]), select, textarea, .source textarea { font-size: 16px; }
}

/* The public guide shares the workbench's plain HTML appearance. */
.guide section { margin: 24px 0; }
.guide blockquote { margin: 10px 0 16px; padding: 4px 12px; border-left: 3px solid #aaa; background: #f3f3f3; }
.guide table { width: 100%; border-collapse: collapse; margin: 12px 0; }
.guide caption { text-align: left; margin-bottom: 6px; font-weight: bold; }
.guide th, .guide td { padding: 8px; border: 1px solid #aaa; text-align: left; vertical-align: top; overflow-wrap: anywhere; }
.guide thead { background: #eee; }
.guide th[scope=row] { width: 30%; }
.guide code { font: 13px/1.5 "Courier New", Courier, monospace; }

.account fieldset { border: 2px groove #ddd; padding: 12px; }
.account form { max-width: 520px; }
.account form button { margin-top: 12px; }
.account .error { color: #a00000; font-weight: bold; }
#new-secrets { border: 2px solid #000080; padding: 12px; }
#new-secrets input { font-family: "Courier New", Courier, monospace; }