/* Specify styling for annotated listings as
 * generated by tools/annot.pl.
 */

.listing {
	width: 100%;
	white-space: nowrap;
}

.descr {
	white-space: normal;
}

@media (min-width: 980px) {
	/* Regular desktops. */
	div.listing > div {
		display: inline-block;
		vertical-align: top;
	}

	.code pre.prettyprint {
		background: white;
		border: none;
		padding: 0;
		white-space: pre;
		word-wrap: normal;
	}

	.descr {
		padding-bottom: 25px;
		padding-right: 10px;
		border-right: 1px solid #eee;
		width: 40%;
	}

	.code {
		padding-left: 10px;
		border-left: 1px solid #eee;
		margin-left: -1px;
		width: 60%;
	}
}

@media (max-width: 979px) {
	/* Tablets and small desktops. */
	.descr {
		margin-bottom: 10px;
	}

	.code {
	}
}