@import url("//fonts.googleapis.com/css?family=Noto+Sans:400,700");

* {
	margin: 0;
}

body {
	font-family: "Noto Sans", sans-serif;
	margin: 0 auto;
	padding: 20px;
	max-width: 800px;
}

h2 {
	font-weight: 800;
}

h3 {
	text-decoration: underline;
}

hr {
	border: 2px dashed #eeeeee;
}

/*
 * Set the monospaced font size a bit smaller than the regular font size as the
 * font naturally looks a bit larger.
 */
code {
	font-size: 15px;
	background: #eeeeee;
}

pre {
	overflow: auto;
	background: #eeeeee;
	padding: 15px;
}

.notice {
	padding: 15px 15px 0 15px;
	overflow: auto;
}

.notice-info {
	background-color: #d1ecf1;
}

.notice-danger {
	background-color: #f8d7da;
}

/* The content area is 800px wide and images are 240px wide. Display 3 in a row,
 * which leaves 40px between images horiziontally. Set vertical gap to 0 since
 * the margin alone (defined below) is sufficient. */
.gallery {
	display: flex;
	flex-wrap: wrap;
	gap: 0 40px;
}

/*
 * Most elements should have 15px of padding underneath. The padding should not
 * apply to nested lists.
 */
h2, h3, p, body > ul, body > ol, pre, video, table, hr, .notice, .gallery img {
	margin-bottom: 15px;
}

table {
	border-collapse: collapse;
}

th {
	text-align: left;
}

th, td {
	padding: 0 10px;
	border: 1px solid black;
}

img {
	max-width: 100%;
}

blockquote {
	margin: 0 40px;
	color: #333333;
	font-style: italic;
}

a:visited {
	color: blue;
}