body {
	font: 13pt/1.4
		"Linux Libertine",
		"Linux Libertine O",
		"TeX Gyre Termes",
		"Constantia",
		"Liberation Serif",
		"Cambria",
		"Times New Roman",
		"Times",
		serif;
	font-kerning: normal; /* CSS 3 */
	font-feature-settings: "kern" 1; /* CSS 3 */
	text-rendering: optimizeLegibility; /* SVG */
	color: black;
	background: white;
}

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

	body {
		max-width: 700px;
		padding: 10px;
		margin: 0 auto;
	}

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

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

/* 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
 */

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

/* Block elements */

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

/* Inline elements */

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

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

/* Links */

a {
	text-decoration: none;
	color: #3465c4;
	border-bottom: 1px solid #dddddd;
}

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

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

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

/* Headers */

h1 {
	margin-top: 0.3em;
	margin-bottom: 0;
	font-weight: normal;
}

h2, h3 {
	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;
	border-bottom: 1px solid #f7f7f7;
	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;
	border-top: 1px solid rgba(0,0,0,0.04);
	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:
		"Consolas",
		"Source Code Pro",
		"Monaco",
		"Droid Sans Mono",
		"Liberation Mono",
		"DejaVu Sans Mono",
		monospace;
	/*/*/
	margin-left: 0.1em;
	margin-right: 0.1em;
	/* */
}

pre {
	font: smaller/1.5
		"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;
}

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; }