@charset "UTF-8";
@media (max-width: 768px) {
html {
	/* font-size: 18px; */
}
}
body {
	width: 80%;
	margin-left:10%;
	margin-top: 5ex;
	margin-bottom: 5ex;
	padding-bottom: 5ex;
	padding-top: 5ex;
}
.div-lint {
	padding-top: 1em;
	margin-top: 1em;
}