HTML {
	BACKGROUND: #dfd
}
BODY {
	BORDER-RIGHT: green 1px solid; BORDER-TOP: green 1px solid; BACKGROUND: white; BORDER-LEFT: green 1px solid; BORDER-BOTTOM: green 1px solid; FONT-FAMILY: Arial, sans-serif
}
#header {
	PADDING-RIGHT: 8px; PADDING-LEFT: 8px; PADDING-BOTTOM: 8px; PADDING-TOP: 8px
}
#content {
	PADDING-RIGHT: 8px; PADDING-LEFT: 8px; PADDING-BOTTOM: 8px; PADDING-TOP: 8px
}
H2 {
	PADDING-RIGHT: 0px; PADDING-LEFT: 0px; FONT-SIZE: 150%; PADDING-BOTTOM: 0px; MARGIN: 0.5ex 0px; COLOR: green; PADDING-TOP: 0px; FONT-FAMILY: Lucida Handwriting, cursive
}
#content {
	LINE-HEIGHT: 1.5
}
abbr {
	CURSOR: pointer
}
ACRONYM {
	CURSOR: pointer
}
A {
	PADDING-RIGHT: 2px; PADDING-LEFT: 2px; PADDING-BOTTOM: 2px; COLOR: green; PADDING-TOP: 2px
}
A:hover {
	BORDER-RIGHT: purple 1px solid; PADDING-RIGHT: 1px; BORDER-TOP: purple 1px solid; PADDING-LEFT: 1px; PADDING-BOTTOM: 1px; BORDER-LEFT: purple 1px solid; COLOR: purple; PADDING-TOP: 1px; BORDER-BOTTOM: purple 1px solid; BACKGROUND-COLOR: yellow; TEXT-DECORATION: none
}
A:unknown {
	BORDER-RIGHT: purple 1px solid; PADDING-RIGHT: 1px; BORDER-TOP: purple 1px solid; PADDING-LEFT: 1px; PADDING-BOTTOM: 1px; BORDER-LEFT: purple 1px solid; COLOR: purple; PADDING-TOP: 1px; BORDER-BOTTOM: purple 1px solid; BACKGROUND-COLOR: yellow; TEXT-DECORATION: none
}
UL LI {
	LIST-STYLE-IMAGE: url(bullet.png)
}
LI {
	MARGIN: 8px
}
H1 {
	BACKGROUND-IMAGE: url(corewar.png); MARGIN: 0px; WIDTH: 344px; TEXT-INDENT: -9999px; HEIGHT: 100px
}
#google_ad {
	FLOAT: right
}
#impring {
	CLEAR: both
}
#impring A {
	BORDER-RIGHT: 0px; PADDING-RIGHT: 0px; BORDER-TOP: 0px; PADDING-LEFT: 0px; PADDING-BOTTOM: 0px; BORDER-LEFT: 0px; PADDING-TOP: 0px; BORDER-BOTTOM: 0px
}
.links {
	DISPLAY: block; FLOAT: left; WIDTH: 20ex
}
.vcard {
	BORDER-RIGHT: green 1px dashed; PADDING-RIGHT: 8px; BORDER-TOP: green 1px dashed; PADDING-LEFT: 8px; PADDING-BOTTOM: 8px; MARGIN: 12px 64px; BORDER-LEFT: green 1px dashed; PADDING-TOP: 8px; BORDER-BOTTOM: green 1px dashed
}
PRE {
	BORDER-RIGHT: green 1px dashed; PADDING-RIGHT: 8px; BORDER-TOP: green 1px dashed; PADDING-LEFT: 8px; PADDING-BOTTOM: 8px; MARGIN: 12px 64px; BORDER-LEFT: green 1px dashed; PADDING-TOP: 8px; BORDER-BOTTOM: green 1px dashed
}
.vcard IMG {
	FLOAT: left; MARGIN: 0px 4px 4px 8px
}
.vcard DL {
	MARGIN: 0px 0px 0px 60px
}
.vcard DT {
	FLOAT: left; WIDTH: 8ex; MARGIN-RIGHT: 8px; TEXT-ALIGN: right
}
