.infix {
  margin-left: 1px;
  margin-right: 1px;
}

.type {
  margin:1px;
  display: inline-block;

  font-family: "Roboto", sans-serif;
  font-optical-sizing: auto;
  font-weight: 400;
  font-style: normal;
  font-variation-settings: "wdth" 100;
}

.functionType {
  border: solid 1px darkred;
  background-color: bisque;
  color:darkred;
}

.productType {
  border: solid 1px darkblue;
  background-color: aliceblue;
  color:darkblue;
}

.sumType {
  border: solid 1px #333;
  background-color: lightyellow;
  color:#333
}

.dictType {
  border-radius: 5px;
  border: solid 1px darkblue;
  background-color: rgb(206, 232, 255);
  color:darkblue
}

.setType {
  border-radius: 5px;
  padding-left: 2px;
  padding-right: 2px;
  border: solid 1px darkblue;
  background-color: rgb(206, 232, 255);
  color:darkblue
}

.listType {
  padding-left: 2px;
  padding-right: 2px;
  border: solid 1px darkblue;
  background-color: rgb(206, 232, 255);
  color:darkblue
}

.iteratorType {
  border-style: dashed;
  /* animation: flickerAnimation 500ms steps(1) normal infinite; */
}

/* Animations */

@keyframes flickerAnimation {
  0%   { opacity:1; }
  50%  { opacity:0; }
  100% { opacity:1; }
}