#tools {
  position: relative;
  margin-bottom: 50px;
  overflow: hidden; }

#derivations-tool, #maximal-tool, #terms-tool {
  position: relative;
  float: left;
  width: 500px; }

#derivations-tool {
  margin-right: 50px; }

#output {
  position: relative; }

.decor-row1 {
  clear: both;
  float: left;
  padding: 5px 0px 5px 0px;
  cursor: pointer; }
  .decor-row1 .multiplicity {
    float: left;
    width: 450px; }
    .decor-row1 .multiplicity span {
      width: 23px;
      float: left;
      text-align: right; }
  .decor-row1 .tex {
    float: left; }

#zss-map {
  height: 650px;
  width: 300px; }

#sequence-info {
  position: fixed;
  margin-left: 150px;
  height: 25px; }

/*# sourceMappingURL=style.css.map */