:root {
  --desk: #0e4a4a;
  --panel: #c7c7c7;
  --panel-dark: #777;
  --panel-light: #fff;
  --ink: #111;
  --navy: #000080;
  --link: #00006f;
}

* { box-sizing: border-box; }

html, body {
  margin: 0;
  min-height: 100%;
  background: var(--desk);
  color: var(--ink);
  font-family: "Courier New", Courier, monospace;
}

body {
  padding: 24px 12px;
  background:
    repeating-linear-gradient(0deg, rgba(0, 0, 0, .035) 0 1px, transparent 1px 4px),
    var(--desk);
}

.window {
  width: min(920px, 100%);
  margin: 0 auto;
  border: 3px solid #000;
  background: var(--panel);
  box-shadow: inset 2px 2px var(--panel-light), inset -2px -2px #8f8f8f, 10px 10px 0 rgba(0, 0, 0, .25);
}

.titlebar {
  display: flex;
  justify-content: space-between;
  align-items: center;
  gap: 12px;
  padding: 6px 8px;
  background: var(--navy);
  color: #fff;
  font-family: Arial, Helvetica, sans-serif;
  font-weight: 700;
}

.close-box {
  width: 22px;
  height: 20px;
  display: grid;
  place-items: center;
  border: 2px solid #555;
  background: var(--panel);
  color: #111;
  box-shadow: inset 2px 2px #fff, inset -2px -2px #777;
  text-decoration: none;
}

.menubar {
  padding: 7px 10px;
  border-bottom: 2px solid var(--panel-dark);
  background: #d7d7d7;
  font: 14px Arial, Helvetica, sans-serif;
}

.menubar a { margin-right: 20px; }

.document {
  margin: 14px;
  padding: clamp(18px, 4vw, 40px);
  border: 2px inset #aaa;
  background: #f4f1df;
  line-height: 1.6;
}

h1 {
  margin: 0 0 4px;
  color: var(--navy);
  font: 700 clamp(26px, 5vw, 42px)/1.1 Arial, Helvetica, sans-serif;
}

h2 {
  margin: 30px 0 8px;
  padding-bottom: 3px;
  border-bottom: 1px solid #999;
  color: #00005c;
  font: 700 19px Arial, Helvetica, sans-serif;
}

p, li { font-size: 14px; }
ul { padding-left: 24px; }
.effective { margin: 0 0 26px; color: #555; }
a { color: var(--link); }
a:focus-visible { outline: 2px solid var(--navy); outline-offset: 2px; }

.footer {
  display: flex;
  flex-wrap: wrap;
  justify-content: space-between;
  gap: 10px;
  padding: 8px 12px;
  border-top: 2px solid var(--panel-dark);
  background: #d7d7d7;
  font-size: 11px;
}

@media (max-width: 540px) {
  body { padding: 0; }
  .window { border-width: 0; }
  .document { margin: 8px; padding: 18px; }
}