:root{
  --fg:#333;
  --muted:#444;
  --border:#ddd;
  --bg:#fff;
  --accent:#007bff;
}

*{ box-sizing: border-box; }
html, body{ height:100%; }


body{
  margin:0;
  background: var(--bg);
  color: var(--fg);
  font-family: "Courier New", Courier, ui-monospace, Menlo, Consolas, monospace;
}

.italic{
    font-style: italic;
}

.topbar{
  padding: 14px 20px;
  border-bottom: 1px solid var(--border);
}

.brand{ font-weight: 700; }

.page-wrap{
  padding: 40px 20px;
}

.page{
  max-width: 900px;
  margin: 0 auto;
}

.clause{
  display: flex;
  align-items: center;
  gap: 20px;
  margin: 36px 0;
}

.label{
  display: inline-block;
  background: #f6f6f6;
  border: 1px solid var(--border);
  border-radius: 6px;
  padding: 6px 16px;
  font-weight: 700;
  font-size: 1.05rem;
  white-space: nowrap;
  box-shadow: 0 1px 2px rgba(0,0,0,0.05);
}

.content{
  font-size: 1.05rem;
  color: var(--muted);
}


form{
  margin-top: 48px;
  position: relative;
}


.highlight-layer{
  position: absolute;
  top: 0;
  left: 0;
  right: 0;

  height: auto;

  padding: 12px;
  border: 2px solid var(--border);
  border-radius: 12px;
  white-space: pre-wrap;
  word-wrap: break-word;
  font: inherit;
  line-height: 1.4;
  overflow: hidden;
  color: transparent;

  pointer-events: none;
  z-index: 0;
}

.input-wrap {
  position: relative;
  width: 100%;
}

.highlight-layer .keyword{
  color: #00BFFF;
  font-weight: 700;
}


textarea{
  position: relative;
  background: transparent;
  caret-color: black;
  width: 100%;
  min-height: 120px;
  max-height: 400px;
  font: inherit;
  line-height: 1.4;
  padding: 12px;
  border: 2px solid var(--border);
  border-radius: 12px;
  resize: none;
  outline: none;
  overflow-y: hidden;
  z-index: 1;
}

textarea:focus{ border-color: var(--accent); }

input[type="submit"]{
  margin-top: 16px;
  padding: 10px 20px;
  border: none;
  background: var(--accent);
  color: #fff;
  border-radius: 8px;
  font-size: 1rem;
  cursor: pointer;
}

input[type="submit"]:hover{ filter: brightness(0.9); }

pre {
    white-space: pre-wrap;
    word-wrap: break-word;
    overflow-wrap: break-word;
}