/**
 * Copy of CC standard stylesheet, plus tweaks for iframe usage
 */

/* stylelint-disable selector-class-pattern */

body {
	margin: 0;
	background: #eee;
	font-family: 'Verdana', sans-serif;
	color: #333;
}

#main {
	border: 1px solid #d0d0d0;
	background: #fff;
	margin: 0.5em;
}

/**
 * Looks like you have to specify the width of #menu as
 * Opera streches it half way.
 */

#main #menu {
	border-left: 1px dotted #ccc;
	float: right;
	width: 230px;
	background: #fff;
	margin: 0 0 10px 10px;
}

h1,
h3,
p,
pre,
td {
	margin: 0 20px 20px 20px;
	/* TODO: re-evaluate this */
	/* stylelint-disable-next-line declaration-property-unit-disallowed-list */
	font-size: 11px;
	line-height: 140%;
}

.header {
	padding-left: 10px;
	padding-top: 10px;
}

.nav {
	padding-left: 10px;
	padding-bottom: 10px;
	/* TODO: re-evaluate this */
	/* stylelint-disable-next-line declaration-property-unit-disallowed-list */
	font-size: 11px;
	margin-bottom: 16px;
}

#menu p {
	/* TODO: re-evaluate this */
	/* stylelint-disable-next-line declaration-property-unit-disallowed-list */
	font-size: 11px;
}

.dent {
	margin-left: 64px;
}
