body {
	background-color: #777777;
	font-family: "Courier New", monospace;
	margin: 0;
}

h1, h3 {
	text-align: center;
}

h5, h6 {
	margin-bottom: 0px;
}

hr {
	width: 75%;
}

.visually-hidden {
	position: absolute;
	width: 1px;
	height: 1px;
	overflow: hidden;
	clip: rect(0, 0, 0, 0);
}

#toolbar {
	text-align: right;
	font-size: 11pt;
	margin-bottom: 0.5em;
}

#toolbar select {
	font-family: inherit;
	font-size: 11pt;
}

#instructions {
	margin-left: 2em;
	padding-left: 0;
}

#container {
	width: 100%;
}

#content {
	background-color: #FFFFFF;
	border: 1px dotted #000000;
	padding: 2px;
	max-width: 800px;
	margin: 20px auto 0 auto;
}

#interpreter {
	border-width: 0px;
	width: 94%;
	margin: 0 auto 1em auto;
}

#crontab {
	box-sizing: border-box;
	width: 100%;
	min-height: 7em;
	resize: vertical;
	font-family: "Courier New", monospace;
	font-size: 14pt;
	white-space: pre;
	overflow-wrap: normal;
	overflow-x: auto;
}

#examples-table {
	border-collapse: collapse;
	width: 100%;
	font-size: 11pt;
}

#examples-table th {
	text-align: left;
	border-bottom: 1px solid #000000;
	padding: 0.4em 0.5em 0.4em 0;
}

#examples-table td {
	border-bottom: 1px dotted #999999;
	padding: 0.4em 0.5em 0.4em 0;
	vertical-align: top;
}

#examples-table code {
	white-space: nowrap;
	font-weight: bold;
}

#results {
	list-style: none;
	margin: 1em 0 0 0;
	padding: 0;
}

#results .entry {
	border-top: 1px dotted #999999;
	padding: 0.75em 0;
}

#results .expression {
	font-size: 13pt;
	font-weight: bold;
}

#results .description {
	color: #CC0000;
	font-weight: bold;
	margin: 0.25em 0;
}

#results .command,
#results .note {
	color: #555555;
	font-size: 11pt;
	margin: 0.25em 0;
}

#results .error .description {
	color: #000000;
	background-color: #FFDDDD;
	display: inline-block;
	padding: 0 0.25em;
}

#results .runs {
	margin: 0.25em 0 0 0;
	padding-left: 2em;
	font-size: 11pt;
}

#disclaimer {
	color: #555555;
	font-size: 10pt;
}

#footer {
	text-align: center;
	font-size: 11px;
	color: #FFFFFF;
	padding: 0.5em 0 1em 0;
}

#footer a {
	color: #FFFFFF;
}
