
/* Branding */
h1 img {
	height: 1em;
}
.jumbotron {
	h1, h2 {
		text-align: center;
	}
	p img {
		height: 42pt;
		float: left;
		padding-right: 1ex;
	}
}
@media (max-width: 767px) {
	#navbar {
		height: 0;
		overflow: hidden;
	}
	#navbar:target {
		height: auto;
	}
}
.navbar {
	background-color: #303baf;
	background-image: linear-gradient(to right, #000080, #6197df);
	border-width: 0 0 1em;
	border-color: #e49200;
	border-radius: 0;
	.navbar-brand {
		background-color: inherit !important;
		color: white !important;
	}
	.navbar-nav {
		a, a:focus, a:hover {
			background-color: inherit !important;
			color: white !important;
		}
		.active {
			& > a, & > a:focus, & > a:hover {
				font-weight: bold;
			}
		}
	}
	.navbar-toggle .icon-bar {
		background-color: white;
	}
}
section:target > :first-child::after {
	content: "←";
	color: silver;
}

.dl-horizontal {
	dt {
		text-align: left;
	}
	dd {
		margin-left: 2em;
	}

	dt, dd {
		padding-top: 0.2em;
		padding-bottom: 1em;
		border-top: solid 1px #ddd;
	}
}
@media(min-width:768px) {
	.dl-horizontal {
		dt {
			width: 200px;
		}
		dd {
			margin-left: 220px;
		}
	}

	.col-sm-8 .dl-horizontal {dt {
			width: 300px;
		}
		dd {
			margin-left: 320px;
		}
	}
}

footer {
	font-size: smaller;
	margin-top: 7em;
	text-align: center;
	& > dl:first-child {
		text-align: left;
	}
	& > dl:last-child {
		text-align: right;
	}
}
article > h1:first-child {
	font-size: 40px;
}

.news ul li:last-child {
	opacity: 0.50;
}

.prosody-sponsors p a img {
	height: 2.5em;
}

code {
	color: inherit;
	background-color: #f5f5f5;
}

/* From Pandoc template */
code{white-space: pre-wrap;}
span.smallcaps{font-variant: small-caps;}
span.underline{text-decoration: underline;}
div.column{display: inline-block; vertical-align: top; width: 50%;}
q { quotes: "“" "”" "‘" "’"; }

/* Dark mode */
@media screen and (prefers-color-scheme: dark) {
	body {
		background-color: #111 !important;
		color: #eee !important;
	}
	.jumbotron {
		background-color: #222 !important;
	}
	.navbar {
		background-image: linear-gradient(to right, #004, #13a) !important;
		/*border-color: #e49200 !important;    /* Cur light mode. */
		/*border-color: #940 !important;*/	   /* Cur dark mode is abit dull. */
		border-color: #e47500 !important;	 /* Hence more contrast. */
		color: #eee !important;
	}
	.btn {
		color: #fff !important;
	}
	.btn-default: {
		background-color: #222 !important;
	}
	pre {
		background-color: #222 !important;
		color: #fff !important;
	}
	.nav > li > a, .nav > li > a:hover, .nav > li > a:focus {
		background-color: #222 !important;
		color: #ffff !important;
	}
	/* Buttons in top navigation bar. */
	.navbar .navbar-nav {
		a, a:focus, a:hover {
			background-color: transparent !important;
		}
	}
	/* HG WEB */
	.parity0, .stripes4 > :nth-child(4n+1), .stripes2 > :nth-child(2n+1) { /* Stripes odd. */
		background-color: #111 !important;
	}
	.parity1, .stripes4 > :nth-child(4n+3), .stripes2 > :nth-child(2n+2) { /* Stripes even. */
		background-color: #222 !important;
	}
	div.annotate-info, div#followlines { /* Mouse pop-ups. */
		background-color: #111 !important;
		color: #fff !important;
	}
	.s2 {/* Strings. */
		background-color: transparent !important;
	}
	.btn-default {	/* Lower & search buttons. */
		background-color: #222 !important;
	}
	.form-control {  /* Search box */
		color: #fff !important;
		background-color: #222 !important;
	}
	.sourcelines > span:target {
		background-color: #402000 !important;
	}
	/* MAIN WEB */
	code {
		color: #fff !important;
		background-color: #222 !important;
	}
	.alert-warning {
		background-color: #3c3833;
		color: rgb(255, 201, 107);
	}
	.alert-danger  {
		background-color: rgb(47, 43, 43);
		color: rgb(253, 142, 139);
	}
	.alert-info {
		background-color: rgb(27, 74, 98);
		color: rgb(161, 211, 236);
		border-color: rgb(161, 211, 236);
	}
	.alert-info .alert-link {
		color: rgb(144, 218, 255);
	}
	/* MODULES WEB */
	.label {
		color: #111 !important;
	}
	.panel {
		background-color: transparent !important;
	}
	/* ISSUE TRACKER */
	.table-striped > tbody > tr:nth-of-type(odd) {
		background-color: #111 !important;
	}
	.comment {
		background-image: none !important;
	}
	select.form-control {
		color: #111 !important;
	}
	.nav-tabs.nav-justified {
		& > li > a {
			border-bottom-color: rgb(80,80,80);
		}
		& > .active {
			a, a:hover, a:focus {
				border-color: rgb(64,64,64);
				border-bottom-color: transparent;
			}
		}
	}
	.table {
		& > thead, & > tbody {
			tr {
				th, td {
					border-top-color: rgb(75,75,75);
				}
			}
		}
	}
}
