body {
  display: flex;
  flex-direction: column;
  align-items: center;
  background-color: #5fa5f5;
}

.base_container {
  display: flex;
  flex-direction: column;
  min-width: 870px;
  width: 55%;
  justify-content: center;
}

.header {
  display: flex;
  flex-direction: row;
  align-items: center;
  justify-content: space-between;
}

.header img {
  width: 80px;
  height: 80px;
}

.applet_title {
  font-size: 40px;
  color: #104887;
}

.main_container {
  display: flex;
  align-items: center;
  height: 450px;
  margin-top: 20px;
}

.header_span {
  font-family: "Arial";
  font-size: 16px;
  font-weight: bold;
  color: #104887;
  margin-bottom: 3px;
}

.top_half {
  justify-content: space-between;
  width: 70%;
  margin-bottom: 20px;
}

.bottom_half {
  justify-content: space-between;
  width: 70%;
}

.h {
  display: flex;
  flex-direction: row;
}

.v {
  display: flex;
  flex-direction: column;
}

.compression_method_section {
  margin-bottom: 15px;
}

.compress_decompress_section {
  margin-bottom: 10px;
}

.dropdown {
  position: relative;
  display: inline-block;
}

.dropdown_button {
  display: flex;
  flex-direction: row;
  justify-content: space-between;
  align-items: center;
  background-color: #EEEEEE;
  border-radius: 0px;
  width: 160px;
}

.dropdown_button span:last-child {
  border-left: 1px solid black;
  padding-left: 5px;
}

.dropdown_button:focus .dropdown_menu {
  display: block;
  background-color: white;
  height: 40px;
  width: 40px;
}

.dropdown_menu {
  display: none;
  font-family: "Arial"
}

.dropdown_menu.open {
  display: flex;
  flex-direction: column;
  position: absolute;
  width: 140px;
  height: auto;
  background-color: white;
  border: 2px solid gray;
  z-index: 3;
  cursor: pointer;
}

.dropdown_item {
  padding: 2px;
}

.dropdown_item:hover {
  background-color: #DDDDDD;
}

button {
  margin-right: 20px;
  width: 120px;
  height: 30px;
  background-color: #FFFFFF;
  border: 3px solid #104887;
  border-radius: 5px;
  font-size: 16px;
}

button:enabled:hover {
  background-color: #bdd7f4;
}

textarea {
  width: 270px;
  height: 220px;
  resize: none;
  border: 3px solid #104887;
  font-size: 18px;
  font-family: "Arial";
  color: black;
}

textarea[readonly="readonly"], textarea[readonly] {
  color: transparent;
  text-shadow: 0px 0px 0px black;
}

#statistics_textarea {
  height: 110px;
}

.details_popup {
  position: absolute;
  width: auto;
  left: 50%;
  top: 50%;
  transform: translate(-50%, -50%);
  background-color: white;
  border: 3px solid black;
}

.popup_header {
  display: flex;
  flex-direction: row;
  justify-content: flex-end;
  box-sizing: border-box;
  align-items: center;
  height: 30px;
  width: 100%;
  font-size: 30px;
  font-weight: bold;
  padding-right: 10px;
  background-color: #104887;
}

.popup_header span {
  cursor: pointer;
}

.popup_body {
  display: flex;
  flex-direction: row;
  padding: 15px;
  height: auto;
}

.encoding_table, th, td {
  font-size: 20px;
  width: 250px;
  border: 1px solid black;
  border-collapse: collapse;
  background-color: #F2F2F2;
  font-size: 14px;
}

.encoding_table tr:nth-child(2n) td {
  background-color: white;
}

.encoding_table td {
  padding-left: 10px;
}

.encoding_table th {
  background-color: #5fa5f5;
}

.tree_diagram {
  display: none;
  width: auto;
  height: auto;
  max-width: 600px;
  background-color: white;
  border: 3px solid black;
  margin-left: 10px;
}

.node_style {
  text-align: center;
  line-height: 5px;
  width: 40px;
  height: 40px;
  border-radius: 26px;
  border: 2px solid black;
  font-size: 20px;
  font-weight: bold;
  background-color: #d3e8ff;
}

.empty_node {
  background-color: #ffcece;
}

.node_style .node-title {
  position: absolute;
  top: 0px;
  left: -15px;
}