/* ### General ### */
body {
	/* Inspired by github.com */
	font-family: -apple-system,BlinkMacSystemFont,Segoe UI,Helvetica,Arial,sans-serif,Apple Color Emoji,Segoe UI Emoji;
	font-size: 15px;
    line-height: 1.5;
    word-wrap: break-word;
	color: #333;
	background-color: #fff;
	
	--anchor-link-icon-offset: 1.2ch;
}

.non-visual-only {
	/* i.e. for screen readers, should not be visible in standard browsers */
	position: absolute;
	opacity: 0;
	pointer-events: none;
	z-index: -99;
}

ul {
	padding-inline-start: 20px;
}

a {
	color: #337ab7;
	text-decoration: underline;
}

a:hover {
	text-decoration: none;
}

.toc a:hover {
	text-decoration: underline;
}

.header a, .toc a, .entrypoint a {
	text-decoration: none;
}

.outsidelink::after {
	content: "";
	background: url(outsidelink.svg);
	background-repeat: no-repeat;
	display: inline-block;
	width: 1ch;
	height: 1ch;
	margin-left: 2px;
	margin-bottom: 6px;
}

.javadoclink::after {
	content: "";
	background: url(javadoclink.svg);
	background-repeat: no-repeat;
	display: inline-block;
	width: 1ch;
	height: 1ch;
	margin-left: 2px;
	margin-bottom: 6px;
}

.h1, h1 {
	font-size: 36px;
	font-weight: 700;
}

.h1:first-child, h1:first-child {
	padding-bottom: 6px;
    margin-bottom: 20px;
    border-bottom: 2px solid orange;
}

h1, h2, h3, .h1, .h2, .h3, {
	margin: 0;
	/*
	margin-top: 10px;
	margin-bottom: 10px;
	*/
}

h4, h5, h6, dt {
	margin-top: 20px;
}

.h1, .h2, .h3, .h4, .h5, .h6, h1, h2, h3, h4, h5, h6 {
	font-family: inherit;
	line-height: 1.1;
	color: inherit;
    word-break: break-word;
    position: relative;
    margin: 0;
}

.h2, h2 {
	font-weight: 600;
}

.h4, .h5, .h6, h4, h5, h6 {
	font-weight: 500;
	text-decoration: underline;
}

h2 {
	font-size: 24px;
	line-height: 29px;
}

h3 {
	color: #777;
	font-weight: 500;
	font-size: 130%;
}

h1:first-child, h2:first-child, h3:first-child, h4:first-child,
	h5:first-child, h6:first-child, dt:first-child {
	padding-top: 0px;
	margin-top: 0px;
}

table {
	max-width: 100%;
}

/* ### Layout ### */
* {
	-webkit-box-sizing: border-box;
	-moz-box-sizing: border-box;
	box-sizing: border-box;
}

html, body {
	height: 100%;
	width: 100%;
	margin: 0px;
	overflow: auto;
}

.container {
	margin: 0px;
	width: 100%;
	height: 100%;
	-webkit-box-sizing: border-box;
	-moz-box-sizing: border-box;
	box-sizing: border-box;
}

.menu {
	width: 350px;
	max-width: calc(100% - 870px);
	min-width: 250px;
	overflow: hidden;
	text-overflow: ellipsis;
	word-break: break-word;
	float: left;

    min-height: 100px; /* To make sure the menu shifts the main content to the right even when it itself has no content */
}

@media ( max-width : 1160px) {
	.menu {
		min-width: 350px;
	}
}

.content-container {
	max-width: 870px; /*calc(100% - 350px);*/
	min-width: min(100%, 870px);
	display: inline-block;
	word-break: break-word;
	padding-left: 20px;
}

.below-header {
	overflow-y: auto;
	height: calc(100% - 70px);
	font-size: 17px;
	/* 
	The following should make sure that the layout looks good on large screens
	However the footer looks weird - I must find another solution 
	width: 100%;
	max-width: 1900px;
    float: right;*/
}

.inner-container {
	padding: 0 10px;
	min-height: calc(100% - 28px);
}

footer {
	background-color: #f5f5f5;
	padding: 5px 15px;
	display: block;
	width: 100%;
	overflow: auto;
}

.header {
	background-color: black;
	color: white;
	height: 60px;
	margin-bottom: 10px;
	display: flex;
	align-items: center;
	position: relative;
}

.tag {
    padding: 3px 5px;
    border: 1px solid #aaa;
    font-size: initial;
    margin-right: 10px;
    display: inline-block;
}

.tiny-screen-only {
	display: none;
}
/* ### Media Queries ### */
@media ( max-width : 630px) {
	
	
	.header .search-input {
		display: none;
	}
}

@media ( max-width : 370px) {
	.h1, h1 {
		font-size: 30px;
	}
	
	.header .home-button {
		width: 35px;
		overflow: hidden;
	}
}

@media ( max-width : 820px) {
	.menu {
		float: initial;
		width: 100%;
		max-width: initial;
		margin-top: 30px;
	}
	
	.nav li a {
	    min-height: 31px;
	}
	
	#header-menu {
		display: none;
	}
	
	.tiny-screen-only {
		display: inline-block;
	}
	
	.tiny-screen-hide {
		display: none;
	}
	
	.asset-menu {
		width: 100%;
	}
	
	.inner-container {
		padding: 12px;
	}
	.content-container {
		max-width: 100%;
		padding-left: 0px;
	}
	pre, pre code {
		word-wrap: break-word;
		word-break: break-all;
		white-space: pre-wrap !important;
	}
}

@media ( max-width : 1212px) and (min-width : 821px) {
	.content-container {
		width: 70%;
		max-width: initial;
	}
}

/* ### Styles for IE10 ### */
@media screen and (-ms-high-contrast: active) , ( -ms-high-contrast :
	none) {
	table {
		width: 100%;
	}
}