body {
	margin: 0px;
	padding: 8px 20px 8px 20px;
	font-family: sans-serif;
	font-size: 12pt;
}

.sidebar {
	padding: 8px;
	position: absolute;
	right: 0px;
	width: 200px;
	top:0px;
}

.main {
}

.banner h1 {
	font-size: 300%;
	font-weight: normal;
	padding: 0px;
	margin:0px;
}

.navigation {
	padding: 0px;
	margin: 15px 0px 15px 0px;
	border-top: 3px solid #ccc;
	border-bottom: 3px solid #ccc;
}

.navigation ul {
	margin: 0px;
	padding: 0px;
	list-style-type: none;
	list-style-image: none;
}

.navigation li {
	display: inline-block;
	padding: 8px 10px 8px 10px;
}

.navigation li:hover {
	background-color: #ccc;
}

.container {
	background: white;
	box-shadow: 0px 3px 10px #999;
	border-radius:5px;
	padding: 10px;
	margin-bottom: 10px;
}

.summary {
	padding:5px;
	border-top: solid 1px #bbb;
}

.summary .title {
	font-size:120%;
}

.summary .image {
	float:right;
}

.summary .image img {
	max-height:100px;
	max-width:350px;
}

.summary .clear {
	clear:both;
}

.table {
	margin-top: 20px;
	border-collapse: collapse;
}

.table thead {
	background-color: #ddd;
}

.table td, .table th {
	padding: 3px;
}

.table td:not(:first-child), .table th:not(:first-child) {
	border-left: 1px solid black;
}

.table tr.rule {
	border-bottom: 1px solid black;
}

.w100 {
	width: 100%;
}

.w50 {
	width: 50%;
}

.root {
	margin: auto;
}

@media screen and (min-width: 768px) {
	.root {
		width: 740px;
	}
}

@media screen and (min-width: 992px) {
	.root {
		width: 940px;
	}

	.body {
		width: 75%;
	}

	.aside {
		width: 25%;
	}
	.body, .aside {
		float: left;
	}
}

div.reference {
	margin-top: 15px;
}

div.title {
	font-weight: bold;
}

img.border {
	border: 2px solid #888;
}

img.right {
	float: right;
	margin: 10px;
}

.center {
	display: block;
	width: 90%;
	margin-left: auto;
	margin-right: auto;
	margin-bottom: 15px;
}

.w70 {
	width: 70%;
}

.w50 {
	width: 50%;
}

table.valign td {
	vertical-align: top;
}

.file {
	display: inline-block;
	margin-left: 1em;
}

.abstract {
	margin: 1em;
}

pre.code {
	position: relative;
	padding : 3px 3px 3px 2em;
	border: 1px solid #888;
	overflow-y: hidden;
	font-size: 10pt;
}

pre code:before {
  content: "1 \a 2 \a 3 \a 4 \a 5 \a 6 \a 7 \a 8 \a 9 \a 10 \a 11 \a 12 \a 13 \a 14 \a 15 \a 16 \a 17 \a 18 \a 19 \a 20 \a 21 \a 22 \a 23 \a 24 \a 25 \a 26 \a 27 \a 28 \a 29 \a 30 \a 31 \a 32 \a 33 \a 34 \a 35 \a 36 \a 37 \a 38 \a 39 \a 40 \a 41 \a 42 \a 43 \a 44 \a 45 \a 46 \a 47 \a 48 \a 49 \a 50 \a 51 \a 52 \a 53 \a 54 \a 55 \a 56 \a 57 \a 58 \a 59 \a 60 \a 61 \a 62 \a 63 \a 64 \a 65 \a 66 \a 67 \a 68 \a 69 \a 70 \a 71 \a 72 \a 73 \a 74 \a 75 \a 76 \a 77 \a 78 \a 79 \a 80 \a 81 \a 82 \a 83 \a 84 \a 85 \a 86 \a 87 \a 88 \a 89 \a 90 \a 91 \a 92 \a 93 \a 94 \a 95 \a 96 \a 97 \a 98 \a 99 \a 100";
  position: absolute;
  left: 0em;
  color: silver;
}

div.bordered {
	padding: 5px;
	border: 1px solid #888;
	background-color: #eee;
}