html {
	background-color: white;
}
body {
	font-family: "Bitstream Vera Sans", "DejaVu Sans", Verdana, Arial, Helvetica, sans-serif;
	color: black;
	font-size: 0.8em;
	text-align: left;
}
ul {
	padding-left: 1em;
}
p {
	margin: 0;
	line-height: 1.4em;
	margin-bottom: 1em;
}
h1, h2, h3 {
	font-size: 1em;
	font-weight: bold;
}
h1 {
	display: inline;
	padding-right: 2em;
}
a {
	color: inherit;
}
code {
	font-size: 105%;
	display: block;
	padding-left: 0.5em;
}
em {
	font-style: italic;
}
#content {
	position: relative;
	top: 6em;
}
div#text-block {
	width: 40em;
	padding-left: 5em;
	padding-bottom: 1em;
}
#top {
	position: fixed;
	top: 0;
	left: 0;
	width: 100%;
	z-index: 2;
	background-color: white;
	height: 6em;
	line-height: 2em;
}
#header {
	padding-left: 2em;
}
#menu {
	 border-top: 1px solid #E6E6E6;
	 border-bottom: 1px solid #E6E6E6;
	 width: 100%;
	 line-height: 2.2em;
}
#menu ul {
	list-style-type: none;
	margin: 0;
	padding: 0;
}
#menu li {
	display: inline;
	margin: 0;
}
#menu li a {
	text-decoration: none;
	padding: 0.75em 1.2em;
}
#menu li a.active {
	text-decoration: none;
	font-weight: bold;
}
#menu li a:hover {
	background-color: #BABABA;
	color: white;
}
.bgimage {
	position: fixed;
	bottom: 0;
	right: 0;
	width: 100%;
	z-index: -1;
	height: 72px;
	background-image: url('/pics/vaio-utils.png');
	background-repeat: no-repeat;
	background-position: 97% 99.5%;
	background-attachment: fixed;
}
div.fade {
	color: #AAAAAA;
}
p.non_linux_warn {
	color: black;
	padding: 0.8em 1.5em;
	border: 1px solid black;
}
span.subtitle {
	display: block;
	font-style: italic;
	font-weight: normal;
	font-size: 85%;
}
p.highlight {
	padding: 2em 0;
	font-weight: bolder;
}
.maillink {
	padding-right: 18px;
	background: transparent url(pics/mail.png) no-repeat -10000px -10000px;
}
.maillink:hover, .maillink:focus {
	background-position: top right;
}
a.extlink {
	padding-right: 12px;
	background: transparent url(pics/extlink-hover.png) no-repeat top right;
}
.extlink:link, .extlink:visited {
	background-image: url(pics/extlink.png);
}
.extlink:hover, .extlink:focus {
	background-image: url(pics/extlink-hover.png);
}