h1 {
  font-size: 2em;
}

h2 {
  margin-top: 1.4em;
  font-size: 1.5em;
}

.modelelement { 
  font-weight: bold;
  color: blue;
}

  .nrl { border-left: 3px solid rgb(136, 136, 136);
    border-right: 3px solid rgb(136, 136, 136);
    padding: 0.2em 0.5em;
    margin-left: 1em;
    margin-right: 1em;
    background-color: rgb(219, 219, 219);
    }

  .kw { color: rgb(64, 64, 168);
    }

  .tkw { font-weight: bold;
    color: rgb(128, 0, 80);
    }

  table { border: 1px solid black;
    }

  th { background-color: rgb(208, 208, 208);
    }