#dialog-vertex, #dialog-edge{
  padding: 8px;
  user-select: auto;
}

#dialog h2 {
  font-weight: bold;
  font-size: 20px;
}

#dialog h3 {
  font-weight: bold;
  font-size: 16px;
  margin-bottom: 0;
}

#quit-dialog, #quit2-dialog {
  position: absolute;
  top: 8px;
  right: 8px;
}

#min-dialog, #max-dialog {
  position: absolute;
  top: 8px;
  right: 48px;
}

#min-dialog {
  display: none;
}

#summary-dialog {
  position: absolute;
  top: 0px;
  left: 0px;
  width: 100%;
  height: 100px;
  background-color: white;
  color: black;
  z-index: 120;
}

#summary-vertex {
  padding: 8px;
  user-select: auto;
}

#summary-dialog h2 {
  font-weight: bold;
  font-size: 20px;
  margin: 0;
}