@import "/.assets/source-serif-pro/source-serif-pro.css";

body {
	font: 12pt/1.2 "Times New Roman", serif; /* IE 5 */
	font/**/: 12pt/1.4
		"Source Serif 4",
		"Source Serif Pro",
		"Georgia",
		serif;
	color: black;
	background: white;
}

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

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

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

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

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

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

/* Links */

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

a:visited {
	color: #637171;
	border-bottom: 1px solid lightgray;
}

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

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

a.permalink {
	color: lightgray;
	border: none;
}

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

#path a {
	color: #637171; /* same as a:visited */
	border-bottom: none;
}

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

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

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

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

/* Colors from GNOME Terminal 'Tango' scheme */
var.red    { color: #cc0000; }
var.green  { color: #4e9a06; }
var.yellow { color: #c4a000; }
var.blue   { color: #3465a4; }
var.purple { color: #ad7fa8; }
var.cyan   { color: #06989a; }

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

p.note {
	font-style: italic;
}

p.seealso {
	font-size: smaller;
}

p.ast {
	text-align: center;
}

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

figure {
	text-align: center;
}

figure figcaption {
	font-style: italic;
}