html {
  scroll-behavior: smooth;	/* not supported in IE, Edge & Safari */
}

body {
	background: url('fatdog_bg.png') 0px 100px;
	background-size: 33%;
	font-size: 12pt;
	font-family: 'DejaVu Sans', sans, sans-serif;
}

#banner-container {
	height: 140px;
}

#banner-and-menu {
	position: fixed;
	right: 0;
	left:0;
	top: 0;
	z-index: 10;
	background-color: #404040;
	color: white;	
	text-align: center;
}

#banner {
	height: 130px;
	overflow: hidden;
}

img#logo-img {
	height:100px;
}

span#logo-text {
	font-weight: bold; 
	font-family: 'DejaVu Sans', sans, sans-serif;
	font-size: 120px;
}

#topmenu {
	height: 30px;
	font-size: 14px;
}

#content {
	max-width: 768px;
	margin: 0 auto;
}

img#screenshot {
	width: 100%;
	height: auto;
}

a.menu-button {
	color: white;
	text-decoration: none;
	border-radius: 5px;
	margin-left: 0.3em;
	margin-right: 0.3em;
	padding-left: 1em;
	padding-right: 1em;
	padding-top: 2px;
	padding-bottom: 2px;
	background-color: #12a0a0; /* this is nice too: #30a030 */
	font-weight: bold;
}

a.menu-button:hover {
	background-color: #e05050;
}

h3 {
	background-color: #12a0a0;
	background-image: -moz-linear-gradient(left, #12a0a0, #f3f3f3);
	color: white;
	padding: 5px;
	margin-top: 3em;
	font-size: 12pt;
}

a.anchor {
	padding-top: 180px;
	font-size: 1px;
}

a:hover#menu-icon {
	background-color: #444;
	border-radius: 4px 4px 0 0;
}


/* Responsive stuff */

#mobile-menu-button {
	display: none;
}

@media screen and (max-width: 800px) {

	a.anchor {
		padding-top: 68px;
	}

	#banner-container {
		height: 16px;
	}

	#banner {
		display: inline;
	}

	img#logo-img {
		height:32px;
		float: left;
		margin-top: 8px;
		margin-left: 4px;
	}

	span#logo-text {
		font-size: 38px;
		float: left;
		margin-top: 2px;
	}

	#topmenu {
		display: none;
		position: relative;
		width: 0;
		float: right;
		top: 50px;
		margin-right: -45px;
		z-index: 30;
	}

	#topmenu > a {
		float: right;
		width: 128px;
		margin-top: 3px;
		border: 1px solid #404040;
	}

	#overlay {
		position: fixed;
		display: none;
		width: 100%;
		height: 100%;
		top: 0;
		left: 0;
		right: 0;
		bottom: 0;
		background-color: rgba(0, 0, 0, 0.35);
		z-index: 20;
	}

	#mobile-menu-button {
		display: block;
		float: right;
		border: none;
		background: #404040;
		margin-top: 3px;
		padding: 0px;
		outline: 0;
	}

	#mobile-menu-button > div {
		width: 32px;
		height: 6px;
		margin: 6px;
		background-color: #fdfdfd;
	}

	#mobile-menu-button:focus > div {
		background: #12a0a0;
	}

	#mobile-menu-button + #topmenu:active,
	#mobile-menu-button:focus + #topmenu {
		display: block;
	}

	#mobile-menu-button:focus ~ #overlay {
		display: block;
	}

}