body {
  background-image: url('bg.jpg');
  background-repeat: no-repeat;
  background-attachment: fixed;
  background-size: cover;
  background-position: center;
}


/* Button style: blue background, no border, padding, rounded corners */
.button {
  background-color: #007bff;
  border: none;
  padding: 10px 20px;
  border-radius: 5px;
}

/* Jumbotron: center content vertically and horizontally, full viewport height */
.jumbotron {
  display: flex;
  flex-direction: column;
  justify-content: center;
  align-items: center;
  gap: 1.5rem;
  height: 100vh;
  width: 100%;
}

/* Button container: horizontal layout, center items, spacing between buttons */
.horizontal_container {
  display: flex;
  flex-direction: row;
  align-items: center;
  gap: 1rem;
}