.server-name {
  font-size: x-large;
  padding: 5px;
  text-indent: 0.5em;
}

.host-name {
  padding: 5px;
  text-indent: 1em;
  font-size: large;
}

.server-name-border {
  border-color: var(--color-main);
  border-radius: 5px;
  border-width: 5px;
}

.server-border {
  border: solid;
  border-color: var(--color-main);
  border-radius: 5px;
}