#article {
	line-height: 160%;
	font-size: 16px;
	letter-spacing: .25px;
}

#article section {
	margin-bottom: 30px;
}

#article .lead {
		width: 90%;
		background-color: rgb(248 249 250);
		margin: 20px auto;
		border-radius: 10px;
		padding: 15px;
		margin-bottom: 40px;
}

#article .lead p {
			margin: 10px;
}

#article h3 {
			display: inline-block;
			padding: 5px 30px;
			margin-bottom: 25px;
			background-color: #333;
			color: #fff;
			font-size: 1.5rem;
}

#article h5 {
	font-size: 1.2rem;
}

#article pre {
	font-family: Inter, ui-sans-serif, system-ui, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji";
}