html {
	position: relative;
	min-height: 100%;
}

body {
	padding-top: 50px;
	margin-bottom: 3ex !important;
}

.intro {
	margin: 0 auto;
	width: 100% !important;
}

.menu {
	width: 100% !important;
}

.desc {
	width: 50% !important;
	min-width: 30em;
	margin: 0 auto;
	text-align: justify;
}

.menu-inner {
	margin: 0 auto;
	width: 40em;
	margin-bottom: 5ex;
}

.menu-inner-wide {
	margin: 0 auto;
	width: 80%;
	margin-bottom: 5ex;
}

.footer {
	position: absolute;
	bottom: 0;
	width: 100%;
	background-color: #f5f5f5;
}

.jsgrid-header-row {
	height: 40px;
}

.container .text-muted {
	margin: 1.5ex 0;
}

.starter-template {
	padding: 40px 15px;
	text-align: center;
}

#detail-main {
	padding: 1.5em;
}

#detail-main h2, #detail-main h3 {
	float: left;
	width: 80%;
	margin-top: 0;
}

#domains, #keywords, #notation, #comment, #langs, #toc {
	margin: 2ex 0;
}

#detail-main > h3 {
	font-style: italic;
}

#detail-download {
	float: left;
	clear: both;
	margin-bottom: 1ex;
}

#biblio {
	clear: both;
}

#detail-keywords, #genre, #domains, #keywords, #notation, #comment, #langs, #toc {
	clear: both;
}

.key {
	font-weight: bold;
	display: block;
}

#detail-subdomain, #detail-keywords, #detail-langs {
	margin-top: 1ex;
}

#detail-subdomain > span, #detail-keywords > span, #detail-langs > span {
	/*display: inline;*/
	font-size: 90%;
	padding: 0.6ex;
	margin-right: 1em;
}

#detail-subdomain > span:hover, #detail-keywords > span:hover, #detail-langs > span:hover {
	cursor: pointer;
}

#detail-desc {
	text-align: justify;
}

#notation {
	clear: both;
	text-align: justify;
}

#toc > .content {
	font-family: monospace;
	background-color: #F0F0F0;
	padding: 1em;
	margin-top: 1ex;
	max-width: 62em;
}

.downloadable {
	float: right;
}

ul.leaders {
	max-width: 60em;
	padding: 0;
	overflow-x: hidden;
	list-style: none;
}

ul.leaders li:before {
	float: left;
	width: 0;
	white-space: nowrap;
	content:
		". . . . . . . . . . . . . . . . . . . . "
		". . . . . . . . . . . . . . . . . . . . "
		". . . . . . . . . . . . . . . . . . . . "
		". . . . . . . . . . . . . . . . . . . . ";
}

ul.leaders span:first-child {
	padding-right: 0.33em;
	background: #F0F0F0;
}

ul.leaders span + span {
	float: right;
	padding-left: 0.33em;
	background: #F0F0F0;
}

#filter-tags {
	padding: 1.5ex 0.5em 1.5ex 0.5em;
	height: 100%;
}

#filter-tags:hover {
	cursor: pointer;
	background-color: #F5F5F5;
}

#filter-tags > .label {
	font-size: 90%;
}

#filter-tags-desc {
	margin-right: 1em;
}

.clear-button {
	float: right;
	margin-right: 0.65em;
	margin-top: 0.75ex;
}

.page-header {
    margin-top: 0 !important;
}

.jsgrid-selected-row {
	background-color: #c4e2ff !important;
}