/* CSS is how you can add style to your website, such as colors, fonts, and positioning of your
   HTML content. To learn how to do something, just try searching Google for questions like
   "how to change link color." */


/* Register fonts used on the site here: */
@font-face {
  font-family: "Orbitron";
  src: url("/fonts/Orbitron.ttf") format("truetype");
}

@font-face {
  font-family: "Titillium";
  src: url("/fonts/TitilliumWeb-Regular.ttf") format("truetype");
}


/* General styling for text and headers */
body {
  background-color: darkblue;
  background: url("/pics/Texturelabs_Sky.jpg");
  color: lightblue;
  font-family: "Titillium";
}

.display-box {
  /*background-color: black;*/
  color: #11cfd9;
  font-family: "Orbitron";
}

.top-banner {
  height: 80px;
  padding: 16px 24px;

  /*background: linear-gradient(
    to bottom,
    #2a6aa8,
    #0b2b4a
  );
  */

  color: white;

  display: flex;
  align-items: center;

  box-shadow:
    inset 0 -2px 4px rgba(0, 0, 0, 0.4),
    0 4px 12px rgba(0, 0, 0, 0.5);
}

.ui-box {
  border: 16px solid transparent;
  border-image-source: url("pics/box_1.png");
  border-image-slice: 16 fill;
  border-image-repeat: stretch;
  padding: 12px;
}