@import url("https://fonts.googleapis.com/css2?family=Inter:ital,opsz,wght@0,14..32,100..900;1,14..32,100..900&display=swap");

body {
	font-family: "Inter", sans-serif;
}

button {
	display: inline-block;
	padding: 0.2em 0.9em;
	line-height: 1.5em;
	margin: 0.2em;
	text-decoration: none;
	font-size: 0.8em;
	cursor: pointer;
	border: 0px;
	height: 2em;
	color: #333;
	border-radius: 4px;
}

pre {
	background-color: rgb(230, 230, 230);
	padding: 1em;
	border-radius: 5px;
	margin: 0;
	overflow-x: auto;
}