html, body {
    padding: 0px;
    /* font-size: 100%; */
}

.unpadded {
    padding: 0px;
    margin: 0px;
    border: 0px;
}

.content {
    margin-left: 10px;
    margin-right: 10px;
}

body.dianne {
    margin: 0px 0px 10px 0px;
    padding: 10px;
    font-family: "Open Sans", Arial, sans-serif !important;
    background: #FFFFFF;
}

code, tt, pre { font-size: 1rem; }

table, tr, td {
    font-family: inherit;
    font-size: 1rem;
}

.boxed {
	border-bottom: 1px solid #000000;
	border-top: 1px solid #000000;
	border-left: 1px solid #000000;
	border-right: 1px solid #000000;
	background: #FFFFDD;
	padding: 5px 5px 5px 5px;
}

.nochrome {
	border-bottom: 1px solid #000000;
	border-top: 1px solid #000000;
	border-left: 1px solid #000000;
	border-right: 1px solid #000000;
	background: #FFFFDD url(/imgs/warning.png) no-repeat 5px 5px;
	padding: 5px 5px 5px 50px;
	width: 80%;
	margin: 0 auto;
	margin-top: 5px;
}

.footer {
    /* background: #FFFFBB; */
}

h1, h2, h3, h4, h5, h6 {
    margin-top: 5px;
    margin-bottom: 5px;
    padding-top: 0px;
    padding-bottom: 0px;
    font-family: inherit;
    font-weight: 600;
}

h1, .h1 {
  font-size: 1.75rem; }

h2, .h2 {
  font-size: 1.5rem; }

h3, .h3 {
  font-size: 1.25rem; }

.date {
    font-size: 150%;
    border-bottom: 1px solid #000000;
}

.fineprint {
    font-size: x-small;
}

.fixed {
    display: inline-block;
    border: 0px;
    width: 100%;
    padding: 5px 0px 5px 0px;
    margin-top: 0px;
    margin-bottom: 30px;
    background: #333366;
    position: fixed;
    top: 0;
    left: 0;
    right: 0;
    z-index: 9999;
}

.menu {
    display: inline-block;
    border: 0px;
    width: 100%;
    padding: 0px 0px 0px 0px;
    margin: 0px;
    background: #333366;
}

.menu ul {
    list-style: none;
    padding: 0px;
    margin: 0px;
}

.menu ul li {
    padding-top: 4px;
    padding-bottom: 4px;
    padding-left: 0px;
    padding-right: 0px;
    margin-top: 0px;
    margin-bottom: 0px;
    margin-left: 0px;
    margin-right: 0px;
    float: left;
}

.menu ul li:hover {
    background-color: #000000;
}
.menu ul li.searchbox {
    float: right;
    padding-right: 15px;
}

.menu ul li.searchbox:hover {
    background-color: #333366;
}
.menu ul li a {
    text-decoration: none;
    font-size: 120%;
    color: #ffffff;
    padding-left: 15px;
    padding-right: 15px;
    padding-top: 4px;
    padding-bottom: 4px;
}

.menu ul li a:hover {
    background-color: #000000;
    color: #80ffff;
}

dt {
    margin-top: 30px;
}

a {
    text-decoration: underline;
    color: #1a0dab;
}

h1 a { text-decoration: none; }
h2 a { text-decoration: none; }
h3 a { text-decoration: none; }
h4 a { text-decoration: none; }
h5 a { text-decoration: none; }
h6 a { text-decoration: none; }

a:visited {
/*    text-decoration: none; */
    color: #1a0dab;
}

a:hover {
/*    text-decoration: none; */
    color: #ff0000;
}

dd {
    font-size: 75%;
}

.navbar-custom {
    background-color: #333366;
    color: #ffffff;
    padding: 0 0 !important;
}

.navbar-text {
    padding-top: 0px !important;
    padding-botton: 0px !important;
}

.navbar-dark .navbar-nav .nav-link-custom {
    color: #ffffff;
    font-size: 120%;
    text-decoration: none;
    padding-top: 3px !important;
    padding-bottom: 3px !important;
}

.navbar-dark .navbar-nav .nav-item-custom:hover, .navbar-dark .navbar-nav .nav-link-custom:hover {
    background-color: #000000 !important;
    color: #80ffff !important;
}

.hide {
    display: none;
}

.blue-button {
    text-decoration: none;
    color: white;
    padding: 5px;
    vertical-align: bottom;
    background-color: #2121AA;
    background-image: linear-gradient(to right, rgba(44, 44, 220, 1), rgba(11, 11, 130, 1));
    text-shadow: 2px 2px 2px #000;
    border-radius: 10px;
    margin-bottom: 6px;
}

.login_container {
    display: flex;
    justify-content: flex-end;
}

.product {
    display: flex;
    margin-top: 10px;
}

.login_info {
    color: black;
    background-color: #A0FFA0;
    padding: 2px;
    border: 2px solid #00FF00;
    border-radius: 5px;
    display: inline-block;
}

.login_no_info {
    color: black;
    background-color: #FFFFA0;
    padding: 2px;
    border: 2px solid #FFFF00;
    border-radius: 5px;
    display: inline-block;
}

.login_form {
    background-color: #C0C0FF;
    border: 1px solid #000000;
    padding-left: 4px;
    padding-right: 4px;
    padding-top: 5px;
    border-radius: 5px;
    display: inline-block;
}

.store_menu_entry {
    color: black;
    background-color: #A0FFA0;
    padding: 2px;
    border: 2px solid #00FF00;
    border-radius: 5px;
    display: inline-block;
    margin-right: 5px;
}    

.store_menu_entry_active {
    color: black;
    font-weight: bold;
    background-color: #C0FFC0;
    padding: 2px;
    border: 2px solid #00FF00;
    border-radius: 5px;
    display: inline-block;
    margin-right: 5px;
}    

.error {
    background-color: #FFAAAA;
    border: 1px solid #FF0000;
    padding-left: 4px;
    padding-right: 4px;
    margin-top: 4px;
    border-radius: 5px;
    display: block;
    text-align: center;
}

.info {
    background-color: #AAFFAA;
    border: 2px solid #00FF00;
    padding-left: 4px;
    padding-right: 4px;
    border-radius: 5px;
    display: inline-block;
}

pre {
    margin: 0px;
}

pre code {
  display: block;
  font-family: monospace;
  padding: 8.5px;
  margin: 0px:
  line-height: 1.42857143;
  color: #000000;
  word-break: break-all;
  word-wrap: break-word;
  background-color: #D5D5F5;
  border: 1px solid #000000;
  border-radius: 4px;
  padding-left: 10;
  padding-right: 10;
  font-size: inherit;
  white-space: pre-wrap;
}