body {
  font-family: 'Trebuchet MS', 'Lucida Sans Unicode', 'Lucida Grande', 'Lucida Sans', Arial,
    sans-serif;
}

a {
  color: rgb(66, 133, 244);
}

.operator {
	height: 30px;
	width: 40px;
	font-family: 'Times New Roman', Times, serif;
	font-weight: bolder;
  text-align: center;
	vertical-align: center;
	border: 1px solid gray;
  border-radius: 5px;
  background-color: rgb(230, 230, 230);
}

.operator:hover {
	background-color: white;
}

p {
  font-size: 20px;
}

#generator {
  width: 10%;
  height: 42px;
  font-weight: bold;
  font-size: 95%;
  font-family: 'Trebuchet MS', 'Lucida Sans Unicode', 'Lucida Grande', 'Lucida Sans', Arial,
    sans-serif;
  border-radius: 5px;
  vertical-align: bottom;
  color: white;
  background-color: rgb(66, 133, 244);
  border: 1px solid gray;
}

#generator:hover {
  background-color: rgb(70, 145, 244);
  cursor: pointer;
}

::placeholder {
  font-style: italic;
  font-family: 'Times New Roman', Times, serif;
}

th {
  background-color: rgb(66, 133, 244);
  color: white;
  font-style: italic;
  border: 1px solid black;
}

td {
  border: 1px solid black;
  background-color: white;
}

table {
  font-family: 'Times New Roman', Times, serif;
  font-size: 20px;
  border-collapse: collapse;
  display: inline-table;
}

#sum-boolean-table,
#product-boolean-table,
#complement-boolean-table {
  width: 15%;
  text-align: center;
}

#boolean-table {
  width: 25%;
  font-family: 'Times New Roman', Times, serif;
  text-align: center;
  empty-cells: hide;
}

caption {
  margin-bottom: 5px;
}

#boolean-function {
  width: 35%;
  height: 30px;
  font-style: italic;
  font-family: 'Times New Roman', Times, serif;
  font-size: 20px;
  text-indent: 5px;
  padding-left: 5px;
  padding-top: 5px;
  padding-bottom: 5px;
  border-radius: 5px;
  border: 1px solid gray;
}