.style_highlight1{
  text-decoration:underline;
}
.style_highlight2{
  font-weight:bold;
}
.style_highlight3{
  text-decoration:underline;
  font-weight:bold;
}
html {
  overflow-x: scroll;
  overflow-y: scroll;
}
.container {
  margin-left: auto;
  margin-right: auto;
}
pre {
  cursor: default;
  font-size: 360%;
  text-align: right;
}
pre td {
  font-size: 220%;
  text-align: center;
}
.lattice table {
  border: 1px solid black;
  border-collapse: collapse;
}
.carry {
  font-size:large;
}