#program-output {
	font-family: monospace;
	border: none;
}

#tour-content {
	font-size: 16px;
}

#tour-content h1 {
	font-weight: 300;
	padding-bottom: 10px;
}
#tour-content h2 {
	font-weight: 300;
	padding-bottom: 5px;
}
#tour-content h3 {
	font-weight: 300;
	padding-bottom: 5px;
}

#command-box {
	padding: 10px;
}

#command-box span {
	padding-right: 5px;
}

.content-command-box {
	float: right;
	text-align: right;
	margin-top: 10px;
}

.program-output-title {
	font-family: monospace;
}

body .CodeMirror {
	height: auto;
}

/* Custom .row for bootstrap */
body .row {
	margin-left: 0px;
	margin-right: 0px;
}

/* pre.prettyprint and div.prototype come from prettyprint.js */
pre, pre.prettyprint, div.prototype
{
	background: white;
	border-radius: 4px;
	padding: 1ex;
	margin: 1em 0 1em 0;
	line-height: normal;
	border: 1px solid #ccc;
	width: auto;
	font-size: 14px;
}
pre.prettyprint
{
	display: inline-block;
	width: 100%;
}
pre
{
	white-space: pre-wrap;		 /* css-3 */
	white-space: -moz-pre-wrap;  /* Mozilla, since 1999 */
	white-space: -pre-wrap;		 /* Opera 4-6 */
	white-space: -o-pre-wrap;	 /* Opera 7 */
	word-wrap: break-word;		 /* Internet Explorer 5.5+ */
}

table
{
	border: solid #333;
	border-width: 2px 0;
	border-collapse: collapse;
}

table tr
{
	border: none;
}

table td, table th, table caption
{
	text-align: left;
	vertical-align: top;
	padding: 0.3em;
}

table td
{
	border: none;
	border-bottom: 1px solid #E6E6E6;
	text-align: justify;
}

table th
{
	border: none;
	border-bottom: 1px solid #333;
}

table td:not(:last-child), table th:not(:last-child)
{
	padding-right: 1em;
}

/* dlang.org links */
a, .question, .expand-toggle
{
	color: #B03931;
	cursor: pointer;
}

a:hover, .question:hover, .expand-toggle:hover
{
	color: #742620;
}

pre, code, .tt, .d_inlinecode, td.param_id, .CodeMirror pre, .d_decl {
	font-family: Consolas, "Bitstream Vera Sans Mono", "Andale Mono", Monaco, "DejaVu Sans Mono", "Lucida Console", monospace;
}

.img-left {
    float: left;
    padding-right: 30px;
    padding-bottom: 15px;
}

#dman-front-mobile {
    max-width: 80px;
    padding-right: 15px;
}

#dman-front-desktop {
    width: 170px;
}

.img-right {
    float: right;
    max-width: 250px;
    padding-bottom: 15px;
}

@media only screen and (max-width: 600px) {
	.img-right {
		max-width: 150px;
	}
}

.clear {
    clear: both;
}