body {
	background-color: white;
	color: black;
}

/* Logo */

div#logo {
	float: left;
	margin-bottom: 12px;
}

div#logo>h1 {
	margin: 2px 0 2px 0;
	padding-left: 88px;
	background: transparent url(imgs/vixn_logo.png) no-repeat left center;
	font-size: 80px;
	font-family: sans-serif;
}

div#logo>p {
	margin: 0;
	font-family: cursive;
}
div#logo .vi {
	font-weight: bold;
	font-size: 120%;
}

div#masthead p#tuxfamily {
	font-size: 40%;
	float: right;
}

div#masthead p#tuxfamily img {
	border-style: none;
}

/* Navigation bar */

div#navbar {
	clear: all;
}

div#navbar ul {
	margin: 20px 0;
	list-style-type: none;
	width: 100%;
	border-style: none none solid none;
	border-width: 0 0 2px 0;
	padding: 0 0 4px 0;
	width: 100%;
	text-align: center;
}

div#navbar li {
	display: inline;
}

div#navbar li span, div#navbar li a {
	border-width: 2px;
	margin: 8px 4%;
	padding: 4px 8px;
	font-weight: bold;
}

div#navbar li span {
	border-style: solid;
	border-bottom-color: white;
	background-color: white;
}

div#navbar li a {
	border-style: solid;
	text-decoration: none;
	color: black;
	background-color: #d8d8d8;
}

div#navbar li a:hover {
	background-color: #def;
}

/* Misc */

pre.code {
	background-color: #f4f8f0;
	border-style: dotted;
	border-width: 1px;
	border-color: black;
	padding: 8px;
}