@import "colors.css";
@import "fonts.css";

html {
    height: 100%;
	width: 100%;
}
body {
	margin: 0px;
}

/* Add a black background color to the top navigation */
.topnav {
  background-color: var(--panel_color);
  top: 0;
  position: sticky;
  z-index: 1;
  overflow: hidden;
  width: 100%;
}

.navbuttons {
    width: fit-content;
    margin: auto;
}

/* Style the links inside the navigation bar */
.topnav a {
  border-radius: 15px;
  background-color: var(--panel_button_color);
  float: right;
  color: var(--panel_text_color);
  text-align: center;
  padding: 10px 0px;
  width: 105px;
  margin: 15px 10px;
  margin-left: 0;
  text-decoration: none;
  font: var(--button_font);
  
  border: solid;
  border-width: 1px;
  border-color: var(--panel_button_color);
}

/* Change the color of links on hover */
.topnav a:hover {
  background-color: var(--panel_button_active_color);
}

/* Add a color to the active/current link */
.topnav a.active {
  background-color: var(--panel_button_active_color);
  border-color: var(--panel_border_color);
}

/* Add a color to the active/current link */
.topnav a.icon {
  background-color: transparent;
  border: transparent;
  margin: 0px 20px;
  width: fit-content;
  padding: 3px;
  float: left;
}