/*
 * body definition
 */
body {
  background: lightyellow;
  margin-left: 5%;
  margin-right: 5%;
}

/*
 * add elements
 */
.bw {
	background-color: white ;
	color: black ;
}
.rv {
	background-color: black ;
	color: white ;
}
.shortcut {
	padding-left: 200px ;
	background-color: lightblue ;
	color: red ;
}

/*
 * override inline tags
 */
em { color: red }
strong { 
	<!-- color: green; -->
	font-weight: bold;
	font-variant: small-caps
}
kbd {
	color: crimson;
	font-weight: bold;
}

/*
 * override block tags
 */
h3 {
	padding-left: 5px;
	padding-bottom: 3px;
	width: 100%;
	border-style: groove;
	border-width: thin thin medium thick;
	border-color: green ;
	background-color: lightgreen ;
}
h4 {
	border-color: red ;
	border-width: thin 0 thin thin ;
	margin-left: 5% ;
	background-color: orange ;
}
table {
	padding: 5 ;
}
pre {
	font-family: monospace ;
}
blockquote {
	border-style: solid ;
	border-width: thin ;
	padding: 5px ;
}
.caution {
	border-color: red ;
}

/*
 * class definition
 */
.config,.console {
	white-space: pre ;
	border-style: solid ;
	padding: 1em ;
	margin-left: 4ex ;
	margin-right: 6ex ;
	margin-bottom: 0.5ex ;
	margin-top: 0.5ex
}
.config {
	border-width: 2px ;
	background-color: lightyellow ;
	color: black ;
}
.console {
	border-width: 0.1px ;
	background-color: black ;
	color: white ;
}
.console kbd {
	color: #00FF33 ;
	font-weight: normal;
}
.terminal {
	text-align: center ;
	line-height: 2px ;
	border-width: 1 1 1 1 ;
	white-space: pre ;
	background-color: black ;
	color: white ;
}
div.caption {
	background-color: pink ;
	padding: 3px ;
}