/* Button styling */
.collapse-button {
    margin-left: auto;
  }
  

/* Portal buttons */
.portal-button {
  width: 300px;
  margin: 20px;
  padding: 20px;
  border: 0;
  border-radius: 8px;
}

.portal-button:hover {
  width: 300px;
  margin: 20px;
  padding: 20px;
  border-radius: 8px;
  filter: brightness(85%);
}