body {
	margin: 0;
	padding: 0;
	background: #ffffff;
	
	--color-1: #000;
	--color-2: #fff;
}



div.header > .box {
	padding: 2em;
	display: flex;
	flex-flow: row wrap;
	gap: 1em;
	align-content: center;
}
div.header > .box > div {
	/*border: 2px solid red;*/
}

div.menubutton {
	display: inline-block;
	line-height: 0.5em;
	font-size: 75%;
}
a.menubutton {
	text-decoration: none;
	border-top: 0.2em solid #000;
	border-bottom: 0.2em solid #000;
	box-sizing: border-box;
}
a.menubutton span {
	border-top: 0.2em solid #000;
	box-sizing: border-box;
	padding: 0 1em;
	position: relative;
	top: 0.65em;
}
a.menubutton:hover {
	border-color: red;
}
a.menubutton:hover span {
	border-color: red;
}