section {
	padding-top: 20px;
}
div {
	margin: 0px;
	padding: 0px;
}
h1 {
	color: #666;
	font-size: 100%;
	font-weight: bold;
	margin-top: 0px;
	margin-bottom: 10px;
}
p {
	padding-top: 10px;
}
form {
	display: inline-block;
	margin: 0px;
}
table {
	border-collapse: separate;
	border-spacing: 0px;
}
table td {
	vertical-align: top;
}
input[type="text"], input[type="password"] {
	background: transparent;
	border: 0px;
	border-top: 1px solid #ddd;
	border-bottom: 1px solid #ddd;
}
a {
	color: #000;
	text-decoration: none;
}
hr {
	border: 0px;
	height: 1px;
	background: #ddd;
	margin-top: 20px;
	margin-bottom: 20px;
}
.button {
	background: transparent;
	border: 0px;
	border-left: 1px solid #ddd;
	border-right: 1px solid #ddd;
	padding: 0px 5px;
	cursor: pointer;
}
.button:hover {
	border-left: 1px solid #000;
	border-right: 1px solid #000;
}
.message {
	display: inline-block;
	border: 1px solid #ddd;
	padding: 10px 30px;
}
.inline-code {
	font-family: consolas;
	font-size: 80%;
	padding-left: 20px;
	padding-right: 20px;
}
.code {
	font-family: consolas;
	font-size: 80%;
	border-left: 1px solid #ddd;
	padding-left: 20px;
	margin-top: 5px;
	display: inline-block;
	white-space: pre-wrap;
}
.indented {
	display: block;
	padding-left: 20px;
	margin-top: 5px;
}
.hidden {
	display: none !important;
}
.clickable {
	cursor: pointer;
}
.select_all {
	user-select: all;
}
.second_row {
	background: #fbfbfb;
}
.new {
	background: #dfd;
}
.modified {
	background: #ffb;
}
.break-lines {
	word-wrap: break-word;
}
.max-width-column {
	width: 900px;
	max-width: 900px;
}
.table_padding > tbody > tr > td {
	padding: 5px 20px;
}