body {
	font: 12pt/1.2 "Times New Roman", serif; /* IE 5 */
	font/**/: 12pt/1.3
		"TeX Gyre Termes", /* TeX clone of Times New Roman */
		"Times New Roman",
		"Times",
		serif;
	color: black;
	background: white;
}

@media screen {
	html { overflow-y: scroll; }

	body {
		max-width: 1024px;
		padding: 15px;
		margin: 0 auto;
	}

	p {
		text-align: justify;
		text-justify: inter-word;
	}
}

@media handheld {
	body { line-height: normal; }
}

/* Block elements */

hr {
	color: lightgray;
	background: lightgray;
	height: 1px;
	border: 0px solid lightgray;
}

/* Inline elements */

abbr {
	border-bottom: 1px dotted #555753;
}

var {
	font-style: inherit;
	color: #555799;
	background: #f5f7f3;
}

/* Tango colour scheme (from gnome-terminal)
 * 0 black   #000000  #555753
 * 1 red     #cc0000  #ef2929
 * 2 green   #4e9a06  #8ae234
 * 3 yellow  #c4a000  #fce94f
 * 4 blue    #3465a4  #729fcf
 * 5 purple  #75507b  #ad7fa8
 * 6 cyan    #06989a  #34e2e2
 * 7 white   #d3d7cf  #eeeeec
 */

var.green  { color: #4e9a06; }
var.yellow { color: #c4a000; }
var.cyan   { color: #06989a; }
var.purple { color: #ad7fa8; }

/* Links */

a {
	text-decoration: none;
	color: darkblue;
	border-bottom: 1px solid lightgray;
}

a:visited,
#path a {
	color: #738181;
}

a:hover,
a:focus {
	color: #333333;
	border-bottom: 2px solid darkblue;
}

a:visited:hover,
a:visited:focus,
#path a:hover,
#path a:focus {
	color: #333333;
	border-bottom: 2px solid #cc0000;
}

/* Headers */

h1 {
	margin-top: 0.4em;
	margin-bottom: 0;
	font-size: 1.8em;
	font-weight: normal;
}

h2 {
	/* default: font-size: 1.5em; */
	font-weight: normal;
}

h3 {
	font-size: 1.3em; /* default 1.17em */
	font-weight: normal;
}

/* Subtitle below <h1> */

p.subtitle {
	margin-top: 0;
	font-style: italic;
}

/* § next to post headers */

a.permalink {
	color: #eeeeee;
	border: none;
}

:hover > a.permalink {
	color: #cccccc;
}

a.permalink:hover,
:target a.permalink {
	color: #aaaaaa;
}

/* Archive index at the bottom */

.archive-index :target a {
	background: rgba(247, 252, 20, 0.3);
}

/* Breadcrumbs at the top of pages */

#path {
	color: #bbbbbb;
	padding: 0.2em 0em;
}

#path a {
	border-bottom: none;
}

/* Footer (author, date) at the bottom of each page */

#footer {
	color: #aaaaaa;
	font-style: italic;
	text-align: right;
	clear: both;
	padding: 0.1em 0em;
}

/* Blog posts */

.post h2 {
	margin-bottom: 0;
}

.post .info {
	font-size: 12pt;
	color: #aaaaaa;
	margin-top: 0;
}

p.ast {
	text-align: center;
}

/* "(Update: …)" notes */

p.note {
	font-style: italic;
}

/* Dates in indexes */

li .date {
	color: gray;
	font-size: smaller;
}

/* <figure> tags */

figure {
	text-align: center;
}

figure figcaption {
	font-style: italic;
}

/* Example code and terminal output */

code, kbd, samp {
	font-size: smaller;
	font-family:
		"Cascadia Mono",
		"Consolas",
		"Source Code Pro",
		"Monaco",
		"Droid Sans Mono",
		"Liberation Mono",
		"DejaVu Sans Mono",
		monospace;
	/*/*/
	margin-left: 0.1em;
	margin-right: 0.1em;
	/* */
}

samp, .chip {
	background: #eeeeee;
	padding: 1px 3px;
	border-radius: 3px;
}

kbd {
	padding: 1px 2px 0;
	border: 1px solid black;
	border-radius: 3px;
}

pre {
	font: smaller/1.5
		"Cascadia Code",
		"Consolas",
		"Source Code Pro",
		"Monaco",
		"Droid Sans Mono",
		"Liberation Mono",
		"DejaVu Sans Mono",
		monospace;
}

pre.example {
	padding: 0 1.6em;
}

pre.wrap {
	white-space: pre-wrap;
	/* https://developer.mozilla.org/en-US/docs/Web/CSS/overflow-wrap */
	/*word-wrap: break-word;*/
	/*overflow-wrap: break-word;*/
}

pre.terminal {
	color: #d3d7cf;
	background: black;
	padding: 0.4em;
	border: none;
	white-space: pre-wrap;
}

pre.terminal .prompt-name { color: #5faf5f; }
pre.terminal .prompt-pwd  { color: #afaf87; }
pre.terminal .prompt-vcs  { color: #d75f5f; }