/* Add a black background color to the top navigation */
.topnav {
  background-color: #333;
  overflow: hidden;
}

/* Style the links inside the navigation bar */
.topnav a {
    float: left;
    display: block;
    color: #f2f2f2;
    text-align: center;
    padding: 14px 8px;
    text-decoration: none;
    font-size: 18px;
}

/* Change the color of links on hover */
.topnav a:hover {
    background-color: #ddd;
    color: black;
}

/* Add an active class to highlight the current page */
.active {
    background-color: #159FFF;
    color: white;
}

/* Hide the link that should open and close the topnav on small screens */
.topnav .icon {
    display: none;
}



li {
    line-height: 150%;
}

default_font {
    font-family: "Tahoma", sans-serif;
    font-size: 12px;
}

.border {
    border-width: 2px;
    border-color: gray;
    border-style: dotted;
}

.solid_border {
    border-width: 2px;
    border-color: gray;
    border-style: solid;
}

.body {
    background-color: #A0A0A0;
}