@charset "utf-8";
@import url(../style.css?v=1);

h1 {
	margin-top: 0;
	font-size: large;
}

h1 img.logo {
	height: 1.2em;
	vertical-align: middle;
}

h1 .title_text {
	display: inline-block;
	vertical-align: middle;
}

.mw-content main {
	padding: 4px;
}

main.glossary h2 {
	position: -webkit-sticky;
	position: sticky;
	margin: 2em 0 1em 0;
	background-color: #1d439a;
	color: white;
}

main.glossary h2::before {
	content: "";
	margin: 0 8px;
	border-left: white 8px solid;
}


dl.glossary {
}

dl.glossary dt {
	margin: 1.5em 0 0.5em 0;
	border-bottom: 3px ridge #1d439a;
	font-weight: bold;
	font-size: large;
	width: auto;
}

dl.glossary dd {
	margin-left: 0;
}

dl.glossary dd p {
	margin: 0.5em 0;
}

@media all and (min-width: 500px) {
	h1 {
		font-size: x-large;
	}
	dl.glossary dt {
		font-size: x-large;
	}
	dl.glossary dd {
		max-width: 40em;
		margin-left: 2em;
	}
}