/* text - normal */
div.heading {
	color: #ffffff;
	font-size: 1.75em;
	font-weight: bold;
	display: block;
	margin-top 0;
	margin-bottom: 0.75em;
	margin-left: 0;
	margin-right: 0;
}
div.paragraph {
	color: #00ff00;
	font-size: 1.25em;
	display: block;
	margin-top: 0;
	margin-bottom: 0.75em;
	margin-left: 1.5em;
	margin-right: 0;
}

/* text - link */
a {
	display: block;
	font-size: 0.80em;
	font-weight: normal;
	color: #00ff00;
	text-decoration: underline;
}

/* text - bash */
div.bash {
	font-family: 'Lucida Console', monospace;
	font-size: 1em;
	text-align: top;
	word-break: break-all;
	display: block;
	margin-top: 0;
	margin-bottom: 0.75em;
	margin-left: 3.0em;
	margin-right: 3.0em;
	border-style: dotted;
	border-width: 1px;
	border-color: #404040;
//	width: 80ch;
	padding: .25ch;
	background-color: #101010;
}
span.bash_prompt {
	font-weight: bold;
	color: #ffffff;
	padding-right: 1ch;
}
span.bash_cmd {
	font-weight: bold;
	color: #4040ff;
}
span.bash_out {
	font-weight: normal;
	color: #00ff00;
	white-space: pre-wrap;

	text-overflow: ellipsis;
	overflow: hidden;
}