.top {
    background:#cce9e2;
    border: 1px solid black;
    padding: 1px;
}
.top:before {
        content: "⊤";
}

.bot {
    background:#fed4d6;
    border: 1px solid black;
    padding: 1px;
}
.bot:before {
        content: "⊥";
}


.rowf {
    display: flex;
    flex-wrap: wrap;
    justify-content: space-evenly;
    align-items: center;

}

.minislide h3 {
    text-align: center;
}

.minislide {
    width: 400px;
    padding: 1ch;
    border: 1px solid black;
    margin: 1ch;
}

.iframe-container {
    display: flex;
    flex-direction: column;
    height: 80%;
    width: 100%;
}
iframe {
    border: none;
    height: 100%;

}

span.var {
    padding: 0 1ch ;    
}
  span.var:hover {
      background: #ccc;
  }

  table.highlight {
      background: red;
  }

  .prooftree tr:hover {
      background: #ccc;
  }

  .theorem,.openq {
      margin: 1ch;
      border: 0.3ch solid;
      padding: 1ch 0;
      
}
  .theorem::before {
      white-space: nowrap;
      content: "Theorem";
      font-weight: bold;
  }
  .openq::before {
      white-space: nowrap;
      content: "Open question";
      font-weight: bold;
  }

  

  section.conclusion {
      background-image: url('figures/conclusion.webp');
  }

  section.representing {
      background-image: url('figures/arcimboldo.jpg');
  }
  section.yannakakis {
      background-image: url('figures/tree.jpg');
  }
  section.factorized {
      background-image: url('figures/escher.png');
  }
  section.topdown {
      background-image: url('figures/albiez.jpg');
  }
  section.joinq {
      background-image: url('figures/neg.png');
  }