/*BODY {
	MARGIN-TOP: 50px; BACKGROUND: url(../graphics/background/bgimage.jpg) black fixed no-repeat center center; MARGIN-BOTTOM: 40px; COLOR: #a0a0f0; FONT-FAMILY: Verdana, Helvetica, Arial
}
A:link {
	COLOR: #a0a0f0
}
A:active {
	COLOR: #a0a0f0
}
A:visited {
	COLOR: #a0a0f0
}*/

A:hover {
	/*COLOR: #000000; BACKGROUND-COLOR: #a0a0f0*/
	COLOR: #000000; BACKGROUND-COLOR: #aaaacc
}

/*
A.tail:link {
	COLOR: #a0f0f0
}
A.tail:active {
	COLOR: #a0f0f0
}
A.tail:visited {
	COLOR: #a0f0f0
}
A.tail:hover {
	COLOR: #40a040; BACKGROUND-COLOR: #a0f0f0
}*/
/*
P {
	FONT-SIZE: 14px; TEXT-INDENT: 26px; TEXT-ALIGN: justify
} */
P.title {
	MARGIN-TOP: 18px; FONT-WEIGHT: 700; FONT-SIZE: 24px; MARGIN-BOTTOM: 18px; COLOR: #40a040; TEXT-INDENT: 0pt; TEXT-ALIGN: center
}
P.subtitle {
	COLOR: #dd5555; TEXT-INDENT: 0pt; TEXT-ALIGN: left; TEXT-DECORATION: underline
}
P.todo {
	COLOR: #dd5555; TEXT-INDENT: 0pt; TEXT-ALIGN: right
}
P.category {
	COLOR: #a0f0f0; TEXT-INDENT: 0pt; BACKGROUND-COLOR: #40a040; TEXT-ALIGN: center
}
P.category-left {
	COLOR: #a0f0f0; TEXT-INDENT: 0pt; BACKGROUND-COLOR: #40a040; TEXT-ALIGN: left
}
SPAN.category {
	LETTER-SPACING: 40px
}
P.date {
	COLOR: #a0f0f0; TEXT-INDENT: 0pt; BACKGROUND-COLOR: #606060; TEXT-ALIGN: left
}
P.timestamp {
	MARGIN-TOP: 18px; MARGIN-BOTTOM: 18px; COLOR: #40a040; TEXT-INDENT: 0pt; TEXT-ALIGN: right
}
P.back {
	MARGIN-TOP: 24px; MARGIN-BOTTOM: 18px; TEXT-INDENT: 0pt; TEXT-ALIGN: center
}
P.abstract {
	BORDER-TOP: 1px solid; PADDING-BOTTOM: 5px; MARGIN-LEFT: 80px; TEXT-INDENT: 0px; MARGIN-RIGHT: 80px; PADDING-TOP: 5px; BORDER-BOTTOM: 1px solid
}
/*TABLE {
	FONT-SIZE: 14px; WIDTH: 100%
}*/
TD.nowrap {
	WHITE-SPACE: nowrap
}
UL {
	/*FONT-SIZE: 14px; TEXT-INDENT: 0pt; MARGIN-RIGHT: 12px; LIST-STYLE-TYPE: square; TEXT-ALIGN: justify*/
	FONT-SIZE: 14px; TEXT-INDENT: 0pt; MARGIN-RIGHT: 12px; LIST-STYLE-TYPE: square; TEXT-ALIGN: justify; MARGIN-TOP: 1px; MARGIN-BOTTOM: 3px /*for Children*/
}
OL {
	FONT-SIZE: 14px; TEXT-INDENT: 0pt; MARGIN-RIGHT: 12px; TEXT-ALIGN: justify
}
HR {
	COLOR: #a0a0f0; HEIGHT: 1px
}
HR.short {
	WIDTH: 80%; COLOR: #a0a0f0
}
.italic {
	FONT-STYLE: oblique
}
.bold {
	FONT-WEIGHT: 700
}
.underline {
	TEXT-DECORATION: underline
}
.small {
	FONT-SIZE: smaller
}
.large {
	FONT-SIZE: larger
}
.left {
	TEXT-ALIGN: left
}
.right {
	TEXT-ALIGN: right
}
.center {
	TEXT-INDENT: 0pt; TEXT-ALIGN: center
}
.float-left {
	MARGIN-TOP: 8px; FLOAT: left; MARGIN-BOTTOM: 8px; MARGIN-RIGHT: 16px
}
.float-right {
	MARGIN-TOP: 8px; FLOAT: right; MARGIN-BOTTOM: 8px; MARGIN-LEFT: 16px
}
.bg-header {
	BACKGROUND-COLOR: #40a040
}
.fg-header {
	COLOR: #a0f0f0
}
.fg-version {
	COLOR: #60c060
}
.fg-gray {
	COLOR: #606060
}
.highlight {
	COLOR: #f08040
}
.poem {
	COLOR: #40a040; TEXT-INDENT: 0pt
}
.first-line {
	MARGIN-TOP: 18px
}
.quote {
	FONT-SIZE: 12px; MARGIN-LEFT: 26px; TEXT-INDENT: 0px; MARGIN-RIGHT: 26px
}
.quote2 {
	MARGIN-LEFT: 26px; TEXT-INDENT: 0px; MARGIN-RIGHT: 26px
}
.indent {
	TEXT-INDENT: 26px
}
.noindent {
	TEXT-INDENT: 0pt
}
.overline {
	TEXT-DECORATION: overline
}
.margin-left {
	MARGIN-LEFT: 26px
}
.imgborder {
	BORDER-RIGHT: #a0a0f0 1px solid; BORDER-TOP: #a0a0f0 1px solid; BORDER-LEFT: #a0a0f0 1px solid; BORDER-BOTTOM: #a0a0f0 1px solid
}
.theorem {
	BORDER-RIGHT: #40a040 1px solid; PADDING-RIGHT: 5px; BORDER-TOP: #40a040 1px solid; PADDING-LEFT: 5px; PADDING-BOTTOM: 5px; MARGIN-LEFT: 26px; BORDER-LEFT: #40a040 1px solid; COLOR: #a0a0f0; TEXT-INDENT: 0px; MARGIN-RIGHT: 26px; PADDING-TOP: 5px; BORDER-BOTTOM: #40a040 1px solid
}
.comment {
	COLOR: #a0f080
}
.code {
	COLOR: #f0f080; FONT-FAMILY: Courier New, Lucida Console
}
PRE.code {
	BORDER-RIGHT: #a0a0f0 2px solid; PADDING-RIGHT: 10px; BORDER-TOP: #a0a0f0 2px solid; PADDING-LEFT: 10px; PADDING-BOTTOM: 10px; MARGIN-LEFT: 26px; BORDER-LEFT: #a0a0f0 2px solid; PADDING-TOP: 10px; BORDER-BOTTOM: #a0a0f0 2px solid
}
P.tcl {
	BORDER-RIGHT: #a0a0f0 2px solid; PADDING-RIGHT: 10px; BORDER-TOP: #a0a0f0 2px solid; PADDING-LEFT: 10px; PADDING-BOTTOM: 10px; MARGIN-LEFT: 26px; BORDER-LEFT: #a0a0f0 2px solid; TEXT-INDENT: 0px; PADDING-TOP: 10px; BORDER-BOTTOM: #a0a0f0 2px solid
}
a1 {
	COLOR: #a0a0f0; FONT-FAMILY: Verdana, Helvetica, Arial; text-size: 1%
}