.navbar_content {
	display: flex;
	flex-direction: row;
	flex-wrap: nowrap;
	justify-content: flex-start;
	gap: 1rem;
	padding: 0.5rem;
	border-bottom: 1px solid #000;
	background-color: #fff;
	position: sticky;
	top: 4.2rem;
}

.navbar_content a {
	text-decoration: none;
	color: #000;
	font-weight: bold;
}

.gray {
	color: #999;
}

.italic_graybg {
	font-style: italic;
	background-color: #ccc;
	padding: 0.1rem;
}

.button_white_search {
	background-color: #fff;
	color: #000;
	border: 1px solid black;
	text-decoration: none;
	margin-right: 6px;
	padding: 4px;
	cursor: pointer;
}
  
.marked_red {
	color: #f00;
	font-size: 12px;
}

.box_content_with_table {
	float: none;
	background-color: white;
	border: 1px solid black;
}

.table_white {
	width: 100%;
	height: 100%;
	background-color: white;
	border-collapse: collapse;
	border-spacing: 0;
	border: 1px solid black;
}

td.line_big_box {
	padding: 4px 0 4px 10px;
	border-bottom: 2px solid black;
}

td.aside {
	padding: 0 0 0 10px;
	border-bottom: 1px solid black;
}

td.image_border {
	border: 1px solid black;
	text-align: center;
	vertical-align: middle;
}

td.thin_line {
	padding: 0 0 0 10px;
	border-bottom: 1px solid black;
}

.vbottom {
	vertical-align: bottom;
}

.vtop {
	vertical-align: top;
}

.border_line {
	border-bottom: 1px solid black;
}

.border_lines {
	border-top: 1px solid black;
	border-bottom: 1px solid black;
}

.small_print_source {
	font-size: 10px;
	padding-top: 2em;
	padding-bottom: 2em;
}

@media screen and (max-width: 800px) {
	.navbar_content {
		top: 3.6rem;
	}

	table.table_white {
		font-size: 2.5vw;
	}

	.marked_red {
	color: #f00;
	font-size: 2vw;
	}
}