/* Do not edit!  Edit tarsnap.edit.css and run 'make css' instead! */

/* Section: load fonts. */

@font-face {
	font-family: 'Noto Sans';
	font-style: normal;
	font-weight: 400;
	font-display: fallback;
	src: local('Noto Sans'), local('NotoSans'),
		url(font/NotoSans-Regular-subset.woff2) format('woff2'),
		url(font/NotoSans-Regular-subset.woff) format('woff'),
		url(font/NotoSans-Regular-subset.ttf) format('truetype');
}

@font-face {
	font-family: 'Noto Sans';
	font-style: italic;
	font-weight: 400;
	font-display: fallback;
	src: local('Noto Sans Italic'), local('NotoSans-Italic'),
		url(font/NotoSans-Italic-subset.woff2) format('woff2'),
		url(font/NotoSans-Italic-subset.woff) format('woff'),
		url(font/NotoSans-Italic-subset.ttf) format('truetype');
}

@font-face {
	font-family: 'Noto Sans';
	font-style: normal;
	font-weight: bold;
	font-display: fallback;
	src: local('Noto Sans Bold'), local('NotoSans-Bold'),
		url(font/NotoSans-Bold-subset.woff2) format('woff2'),
		url(font/NotoSans-Bold-subset.woff) format('woff'),
		url(font/NotoSans-Bold-subset.ttf) format('truetype');
}

@font-face {
	font-family: 'Noto Serif';
	font-style: normal;
	font-weight: bold;
	font-display: fallback;
	src: local('Noto Serif Bold'), local('NotoSerif-Bold'),
		url(font/NotoSerif-Bold-subset.woff2) format('woff2'),
		url(font/NotoSerif-Bold-subset.woff) format('woff'),
		url(font/NotoSerif-Bold-subset.ttf) format('truetype');
}

@font-face {
	font-family: 'Noto Mono';
	font-display: fallback;
	src: local('Noto Mono'), local('NotoMono'),
		url(font/NotoMono-Regular-subset.woff2) format('woff2'),
		url(font/NotoMono-Regular-subset.woff) format('woff'),
		url(font/NotoMono-Regular-subset.ttf) format('truetype');
}

/* Section: old browser support. */
header, section, footer, aside, nav, main, article, figure {
	display: block;
}

/* Section: Three-pane layout CSS. */

/* Main body of the page. */
div.nonbanner {
	display: -webkit-box;
	display: -webkit-flex;
	display: -moz-box;
	display: -ms-flexbox;
	display: flex;
	-webkit-flex-wrap: wrap;
	    -ms-flex-wrap: wrap;
	        flex-wrap: wrap;
}

/* Navigation frame. */
div.leftmargin {
	-webkit-box-flex: 1;
	-webkit-flex: 1 0 10em;
	   -moz-box-flex: 1;
	    -ms-flex: 1 0 10em;
	        flex: 1 0 10em;
	-webkit-box-ordinal-group: 2;
	-webkit-order: 1;
	   -moz-box-ordinal-group: 2;
	    -ms-flex-order: 1;
	        order: 1;

	margin-bottom: 1.5em;
}

/* Main content div. */
main {
	-webkit-box-ordinal-group: 3;
	-webkit-order: 2;
	   -moz-box-ordinal-group: 3;
	    -ms-flex-order: 2;
	        order: 2;
	-webkit-box-flex: 1000;
	-webkit-flex: 1000 0 16em;
	   -moz-box-flex: 1000;
	    -ms-flex: 1000 0 16em;
	        flex: 1000 0 16em;

	padding-left: 0.75em;
	padding-right: 0.75em;
}

/* Section: Navigation bar CSS. */

nav ul {
	padding-left: 0em;
	margin: 0em;

	list-style-type: none;
}
nav ul ul {
	padding-left: 1em;
}
nav li {
	display: inline;
}
nav a {
	display: block;

	margin-bottom: 0.25em;
	border: 2px solid #cfe7ff;
	padding: 0.25em;

	color: black;
	background: #cfe7ff;
	-webkit-text-decoration: none;
	text-decoration: none;
	font-size: 80%;
	font-family: 'Noto Sans', sans-serif;
	/* font-extract: NotoSans-Regular */
}
nav a.current {
	border-color: #9fcfff;
	background: #9fcfff;
}
nav a:hover {
	border-color: #000000;
}

nav > ul > li:first-child > a {
	-webkit-border-radius: 0.5em 0.5em 0 0;
	        border-radius: 0.5em 0.5em 0 0;
}

nav > ul > li:last-child > a {
	-webkit-border-radius: 0 0 0.5em 0.5em;
	        border-radius: 0 0 0.5em 0.5em;
}

/* Section: General CSS. */

div.onecol {
	-webkit-box-flex: 0;
	-webkit-flex: 0 0 100%;
	   -moz-box-flex: 0;
	    -ms-flex: 0 0 100%;
	        flex: 0 0 100%;
}

div.twocol {
	-webkit-box-flex: 0;
	-webkit-flex: 0 0 100%;
	   -moz-box-flex: 0;
	    -ms-flex: 0 0 100%;
	        flex: 0 0 100%;
	display: -webkit-box;
	display: -webkit-flex;
	display: -moz-box;
	display: -ms-flexbox;
	display: flex;
	-webkit-flex-wrap: wrap;
	    -ms-flex-wrap: wrap;
	        flex-wrap: wrap;
}

div.column {
	-webkit-box-flex: 1;
	-webkit-flex: 1 0 16em;
	   -moz-box-flex: 1;
	    -ms-flex: 1 0 16em;
	        flex: 1 0 16em;
	min-width: 16em;
}

div.expand-vertical {
	display: -webkit-box;
	display: -webkit-flex;
	display: -moz-box;
	display: -ms-flexbox;
	display: flex;
	-webkit-box-orient: vertical;
	-webkit-box-direction: normal;
	-webkit-flex-direction: column;
	   -moz-box-orient: vertical;
	   -moz-box-direction: normal;
	    -ms-flex-direction: column;
	        flex-direction: column;
}

/* Box containing information. */
section {
	-webkit-box-flex: 1;
	-webkit-flex: 1 0 auto;
	   -moz-box-flex: 1;
	    -ms-flex: 1 0 auto;
	        flex: 1 0 auto;

	margin: 0 0.75em 1.5em;
	/* Need to keep this to avoid the "Download" button leaving the box. */
	border: 1px solid white;
	-webkit-border-radius: 2em 2em 1em 1em;
	        border-radius: 2em 2em 1em 1em;

	background: #fafafa;
}

ul.justified li {
	margin-bottom: 1em;

	text-align: justify;
}

/* Box header. */
section h3 {
	margin: 0;
	border-bottom: solid #ccc;
	border-width: 0 0 1px 0;
	-webkit-border-radius: 1em 1em 0 0;
	        border-radius: 1em 1em 0 0;
	padding: 0.5em;

	text-align: center;

	font-weight: bold;
	font-size: 1.2em;
	font-family: 'Noto Serif', serif;
	/* font-extract: NotoSerif-Bold */
}

section h4 {
	/* font-extract: NotoSans-Bold */
}

/* Box header styles. */
section h3 {
	background: #fcfcb0;
}
section h3.doc {
	background: #dfdfff;
}
section h3.attention {
	background: #ffbfbf;
}

/* Box contents. */
div.boxcontents {
	padding-left: 1em;
	padding-right: 1em;
	margin-bottom: 0.5em;

	font-family: 'Noto Sans', sans-serif;
	/* font-extract: NotoSans-Regular */
}

/* Justify blocks of text. */
div.boxcontents p {
	text-align: justify;
}

div.no-justify p {
	text-align: left;
}

/* Within-box headers. */
div.boxcontents h4 {
	margin-top: 1.6em;
	margin-bottom: 0.8em;
}
div.boxcontents h4:first-child {
	margin-top: 0.8em;
}

/* Highlight errors in red.  (Used for the server CGI output.) */
p.error {
	color: red;
}

/* General style */
pre {
	margin: 0.25em 0 0.25em 1em;

	white-space: pre-wrap;
}

.nowrap {
	white-space: nowrap;
}

/* Variables within commands to be replaced */
var {
	color: #114411;
	font-style: normal;
	font-family: 'Noto Mono', monospace;
	font-size: 0.75em;
	/* font-extract: NotoMono-Regular */
}

/* Don't apply font-size twice to "<pre><var>" or "<code><var>". */
pre var, code var {
	font-size: 100%;
}

/* Displaying console commands */
pre.command:before {
	content: "$ ";
	font-style: normal;
}

pre.command-su:before {
	content: "# ";
	font-style: normal;
}

/* Spacing */
li pre {
	margin: 0.25em 0 0.25em 1em;
}

ul.compact-list {
	margin: 0;
	padding-left: 1.25em;
}

div.contain-float {
	overflow: hidden;
}

/* "Normal" tables with borders. */
table.normal {
	margin-bottom: 1em;

	border-collapse: collapse;
	border-spacing: 0;
}

table.normal th, table.normal td {
	padding: 0.125em;
}

table.normal table, table.normal th, table.normal td {
	border: 0.125em solid #666;
}

table.hash td code {
	word-break: break-all;
}

table.outages td, table.outages th {
	padding: 0.25em 0.5em;

	text-align: center;
}

a.footnote {
	-webkit-text-decoration: none;
	text-decoration: none;
}

span.date {
	white-space: nowrap;

	font-family: 'Noto Mono', monospace;
	/* font-extract: NotoMono-Regular */
}

table.normal-padded {
	margin: 0.5em 2em;
}

table.normal-padded td {
	padding: 0.125em 0.25em 0.125em 0.25em;
}

code, pre {
	font-family: 'Noto Mono', monospace;
	font-size: 0.75em;
	/* font-extract: NotoMono-Regular */
}

/* Section: Special-case CSS. */

header img {
	max-width: 100%;
}

/* Pricing table. */
table.pricing {
	border: none;
	margin: auto;
	padding: 0 0.5em 0.125em 0.5em;
}
table.pricing th {
	vertical-align: top;
	text-align: right;
	color: #114411;
	font-weight: bold;
	/* font-extract: NotoSans-Bold */
}

/* Account page table. */
td.account {
	text-align: right;
}

/* Definition list, used in examples. */
dl.examples dt {
	margin-top: 0.5em;
}

/* Testimonials stuff */
div.testimonial {
	overflow: hidden;
	margin-top: 1em;
}

div.testimonial-text {
	font-style: italic;
	padding-right: 0.5em;
	text-align: justify;
	/* font-extract: NotoSans-Italic */
}

div.testimonial-person {
	text-align: right;
}

div.testimonial-image {
	float: right;
	padding-left: 0.75em;
}

/* Deduplication explanation */
div.size {
	display: table;
	table-layout: fixed;
	width: 100%;
}

pre.size {
	white-space: pre;
	overflow-x: auto;
}

/*
 * This is often used with div.attention, but it needs to be
 * separate so that the border around "attention" will surround a
 * multi-line box (if it's in a narrow display).
 */
div.center {
	text-align: center;
}

em {
	font-style: italic;
	/* font-extract: NotoSans-Regular */
}

/* Asides */
aside {
	margin: 0.5em 0 1em 2em;
	border-left: 0.01em solid #ccc;
	padding-left: 0.5em;

	font-style: italic;
	color: #444444;
	/* font-extract: NotoSans-Italic */
}

aside.narrow {
	margin-left: 0.5em;
}

aside.nobar {
	border-left: 0;
}

p + aside {
	/* Give an effective margin of 0.25em between p and aside */
	margin-top: -0.75em;
}

ul + aside {
	/* Give an effective margin of 0.25em between ul and aside */
	margin-top: -0.75em;
}

li > ul + aside {
	/* Don't have an extra margin if already inside a li */
	margin-top: 0;
}

aside ul {
	margin: 0em;
}

aside pre {
	margin: 0.25em 0 0.25em 1em;

	font-style: normal;
}

/* Attention-getting box; put it inside div.center. */
div.attention {
	display: inline-block;

	margin: 0.25em;
	border: 1px solid #ccc;
	padding: 0.25em;

	background: #ffc6c6;
	font-weight: bold;
	/* font-extract: NotoSans-Bold */
}

div.attention-mild {
	display: inline-block;

	margin: 0.25em;
	border: 1px solid #ccc;
	padding: 0.25em;

	background: #fff3f3;
	text-align: left;
}

/* Display sudo and non-sudo commands. */
div.sudo-container {
	-webkit-box-flex: 0;
	-webkit-flex: 0 0 100%;
	   -moz-box-flex: 0;
	    -ms-flex: 0 0 100%;
	        flex: 0 0 100%;
	display: -webkit-box;
	display: -webkit-flex;
	display: -moz-box;
	display: -ms-flexbox;
	display: flex;
	-webkit-flex-wrap: wrap;
	    -ms-flex-wrap: wrap;
	        flex-wrap: wrap;

	padding: 0.5em 0 0.5em 0.5em;
	overflow: hidden;
}

div.sudo-box {
	min-width: 19em;

	border-left: 1px solid #ccc;
	border-right: 1px solid #ccc;

	background: #f3f3fa;
}

div.sudo-box h5 {
	margin: 0em;
	padding: 0.25em 0.5em 0.25em 0.5em;

	background: #dfdfff;
	font-weight: normal;
	font-size: 100%;
}

div.sudo-box pre.command, div.sudo-box pre.command-su {
	margin: 0.25em;
}

/* Makes a "take note of this" box. */
div.boxcontents div.note {
	margin: 1em;
	border: 1px solid #ccc;

	background: #f3f3fa;
}

div.boxcontents div.note h4 {
	margin-top: 0em;
	padding: 0.25em;

	background: #dfdfff;
}

div.boxcontents div.note h4.attention {
	background: #ffbfbf;
}

summary {
	padding: 0.125em 0.5em 0.5em 0.25em;

	background: #fafafa;
	color: #884444;
}

details {
	background: #fff3f3;
}

details div.boxcontents {
	padding-top: 0.25em;
	padding-bottom: 0.25em;
}

span.problem {
	margin: 0.5em 0.5em 0.5em 0;
	font-weight: bold;
}

/* main page image */
img.image-overview {
	float: right;
	/* 4em: div.boxcontents margins + this margins. */
	min-width: 12em;
	max-width: 100%;
	margin: 1em 0em 1em 1em;
}

ul.column-min-width:before {
	content: "";
	width: 12em;
	display: block;
	overflow: hidden;
}

img.image-spiped {
	display: block;

	/* 4em: div.boxcontents margins + this margins. */
	min-width: 12em;
	max-width: 100%;
	/* margin: 1em 0em 1em 1em; */
	margin-top: 1em;
	margin-left: auto;
	margin-right: auto;
}

div.boxcontents div.button {
	margin-top: 1.5em;
	padding-bottom: 0.8em;

	font-weight: bold;
}

a.register-button {
	border: 1px solid #bbeebb;
	-webkit-border-radius: 0.75em;
	        border-radius: 0.75em;
	padding: 0.5em;

	background: #ccffcc;
	color: #222;
	-webkit-text-decoration: none;
	text-decoration: none;
	-webkit-box-shadow: 0.2em 0.2em 0.2em #ccc;
	        box-shadow: 0.2em 0.2em 0.2em #ccc;
}

a.register-button:hover {
	background: #dfffdf;
}

strong, b {
	font-family: 'Noto Sans';
	font-weight: bold;
	/* font-extract: NotoSans-Bold */
}

strong.main {
	color: #114411;
}

img.kivaloo {
	max-width: 100%;
}

div.table-container {
	width: 100%;
	overflow-x: auto;
}

table.de-table {
	width: 90%;
	max-width: 50em;
	margin: auto;
	margin-bottom: 1em;

	border-collapse: collapse;
}

table.de-table td {
	padding: 0.5em;
}

table.de-table td:first-child {
	border: 1px solid grey;
}

table.de-table td:first-child + td + td {
	border: 1px solid grey;
}

table.de-table td:first-child + td + td + td + td {
	border: 1px solid grey;
}

table.de-table td:first-child + td + td + td + td + td {
	border: 1px solid grey;
}

table.de-table col.de-col {
	border: 1px solid grey;
}

table.de-table col.de-table-spacer {
	width: 5%;
}

.de-table-local {
	background-color: #ffffe6;
}

.de-table-transfer {
	background-color: #f2fff2;
}

.de-table-server {
	background-color: #eaffff;
}

span.arrow-space {
	padding-left: 0.75em;
	padding-right: 0.75em;
}

span.de-archive {
	color: blue;
}

span.de-word {
	color: orange;
}

span.de-text {
	font-family: 'Noto Mono', monospace;
	font-size: 0.90em;
	color: purple;
}

span.encoded {
	font-family: 'Noto Mono', monospace;
	font-size: 0.90em;
}

.apt-modern {
	background-color: #dafada;
}

.apt-old {
	background-color: #fafada;
}

/* Section: responsive design. */

/* 10em navbar + 2*20em "ideal" min column width for double. */
@media (max-width: 50em) {
	div.twocol {
		display: block;
	}
}

/* 10em navbar + 24em "ideal" min column width for single. */
@media (max-width: 34em) {
	div.leftmargin {
		-webkit-box-ordinal-group: 4;
		-webkit-order: 3;
		   -moz-box-ordinal-group: 4;
		    -ms-flex-order: 3;
		        order: 3;
		-webkit-box-flex: 0;
		-webkit-flex: 0 0 100%;
		   -moz-box-flex: 0;
		    -ms-flex: 0 0 100%;
		        flex: 0 0 100%;
	}

	/*
	 * Narrow displays are probably mobile, so let's give them a
	 * nice big menu.
	 */
	nav a {
		margin-bottom: 0.5em;
		padding: 0.5em;

		font-size: 1.25em;
	}

	/* Disable flex. */
	div.nonbanner {
		display: block;
	}

	article {
		padding: 0;
	}

	section {
		margin: 0 0 1.5em 0;
	}

	div.boxcontents {
		padding-left: 0.5em;
		padding-right: 0.5em;
	}

	div.boxcontents ul {
		padding-left: 1.5em;
	}

	div.boxcontents ol {
		padding-left: 1.5em;
	}

	div.boxcontents aside {
		margin-left: 1em;
	}

	div.boxcontents div.sudo-container {
		padding: 0.5em 0;
	}

	div.boxcontents table.normal {
		margin: 0.5em;
	}
}