#title {
	border-bottom: 0.2em solid white;
	padding: 0.1em 3%;
	font-size: x-large;
	font-variant: small-caps;
	text-align: center;
	min-height: 4em;
	background-color: lightslategrey;
	color: whitesmoke;
}

/** The #main div is given a min-height so that it isn't
  * squished on pages with little content, or for displays
  * that are tall (like phones in portrait mode).
  * Height obtained by trial-and-error on a Nexus 4
  * Chrome browser. Didn't work on a Nexus 4 Opera Mini.
  */
#main {
	padding: 1em 2em;
	min-height: 80vh;
	/*margin-left: 15%;
	float: right;
	display: inline-block;*/
	margin: 0 auto;
}

#main ul li {
	padding: 0.5em 0;
	margin-left: 0.5em;
	list-style-image: url("../images/not_sign.png");
}

#main li.no-marker {
	list-style: none;
}

#main ul {
	margin: 0 0 0.75em 0.75em;
	padding: 0;
}

footer {
	clear: both;
	padding: 2%;
	padding-bottom: 1%;
	font-size: 80%;
	border-top: 0.25em solid white;
}
#contact-comment {
	display: none;
}

nav li {
	margin-bottom: 0.1em;
	padding: 0.5em 0.5em;
	border-radius: 0 0.3em 0.3em 0;
	background-color: #37474F;
	color: white;
}

nav a {
	text-decoration: none;
}

nav a:visited {
	color: silver;
}

footer img {
	height: 1em;
}

#vim-proposal {
	padding: 1em;
	text-align: center;
}

#vim-proposal img {
	height: 100%;
	border-radius: 1vw;
	overflow: hidden;
}

html {
	background-color: black; /*#404040;*/
}

body {
	font-family: 'Ubuntu Mono', 'Ubuntu', 'Droid Mono', 'Droid', 'Verdana', sans;
	/*font-size: 16px;*/
	margin: 0 auto;
	padding: 0;
	color: #121212;
	background-color: #B0BEC5; /*#CCCCCC;*/
	width: 100%;
/*	width: 60em;*/
}
/*h1 {
	font-size: 2em;
}
h3 {
	margin-top: 0;
}*/
code {
	font-family: 'Ubuntu Mono', 'Droid Mono', monospace;
	color: black;
	background-color: lavender;
	padding: 0.05em 0.2em;
}

a:link {
	color: #022;
}
a:visited {
	color: #1387B4;
}
a:hover {
/*	text-shadow: 0 0 2px #999;*/
	font-weight: bold;
}

ol li {
	list-style: decimal;
}

nav ul li {
	list-style: none;
}

section, .section {
	background: white;
	color: black;
	box-shadow: 0.1em 0.1em 0.2em 0.1em rgba(128,128,128,0.75);
	border-radius: 0.5em;
	margin-bottom: 1em;
	padding: 1em;
	text-align: left;
}

pre code {
	overflow: auto;
	display: block;
	padding: 1em 0.5em;
	color: whitesmoke;
	background-color: black;
}

pre code strong {
	color: white;
}

.top {
	float: right;
	background: rgb(213, 213, 213);
	padding: 0.5em;
	/* vertical-align: top; */
	border-radius: 0.2em;
	border: 0.2em solid gray;
	margin-top: -1em;
	font-size: 1.5em;
}

@media screen and (min-device-aspect-ratio: 1/1) and (orientation: landscape) {
	nav {
		padding-top: 1%;
		/*	min-height: 42em;
		display: inline-block;*/
		float: left;
		font-size: 1.2em;
		text-align: right;
		height: 100%;
		vertical-align: top;
		width: 10em;
		max-width: 18vw;
	}
	nav ul {
		padding: 0;
		border-top: 0.1em solid gray;
		/*border-bottom: 0.1em solid gray;
		border-right: 0.2em solid white;*/
		border-radius: 0.3em;
	}
	nav li {
		border-bottom: 0.1em solid gray;
		border-right: 0.1em solid gray;
	}
	nav li:hover {
		box-shadow: 0.1em 0.1em 0.15em 0.05em rgba(100,100,100,0.75);
	}

	#main {
		max-width: 70vw;
		min-width: 22em;
		width: 60%;
	}

	#vim-proposal {
		float: right;
		height: 15em;
		max-height: 18vw;
	}
}

@media screen and (max-device-aspect-ratio: 1/1) and (orientation: portrait) {

	#title h1 {
		margin: 0.2em;
	}

	nav {
		width: 90%;
		/*	min-height: 42em;*/
		font-size: 2em;
		text-align: center;
		margin: 0 auto;
	}
	nav ul {
		padding: 0;
	}
	nav li {
		list-style: none;
		border-radius: 0.3em;
		margin: 0.2em;
		box-shadow: 0.1em 0.1em 0.15em 0.05em rgba(100,100,100,0.75);
	}

	#main, body {
		text-align: center;
	}

	section, .section {
		width: 85%;
		font-size: 2em;
		margin: 2em auto;
		background-color: whitesmoke;
	}

	#vim-proposal {
		height: 100vw;
		width: 88vw;
		margin: 0 auto;
	}

	body {
		font-size: 2.5vw;
	}
}


