html, body {
  width: 100%;
  height: 100%;
  margin: 0;
  padding: 0;
  overflow: hidden;
  background: #111317;
}

#terminal {
  position: absolute;
  inset: 0;
}

.noselect {
  -webkit-user-select: none;
  user-select: none;
}

.paper-window { border-radius: 12px 12px 0 0; box-shadow: 0 18px 75px #0009; }
.paper-window .wb-title { font-family: Menlo, Consolas, monospace; font-size: 13px; }
.paper-window .wb-body { background: #f7f6f1; }
.paper-mount { position: relative; width: 100%; height: 100%; }
.paper-loading { position: absolute; inset: 30px; font: 15px system-ui, sans-serif; color: #19384b; }
.paper-frame { display: block; width: 100%; height: 100%; border: 0; visibility: hidden; }
.paper-mount.loaded .paper-loading { display: none; }
.paper-mount.loaded .paper-frame { visibility: visible; }