/* color scheme: */
/* A0A0F0: basic text, <hr>, code border */
/* 40A040: title, poem, timestamp, bg-header, bg of category, border of theorem */
/* DD5555: subtitle to-be-continued */
/* A0F0F0: category text date text header text */
/* 606060: fg-gray bg of date */
/* F08040: highlight, A0F080 comment */
/* #F0F080: code */

html {
	overflow-x:hidden;
	overflow-y:auto;
}
body {
	background-color:black;
	background-image:url("../graphics/background/bgimage.jpg");
	background-position:center center;
	background-repeat:no-repeat;	
	background-attachment: fixed;
	margin-top:50px; margin-bottom:40px;
	font-family: "Lucida Grande", "Trebuchet MS", Verdana, Arial, Helvetica, sans-serif;
	color:#A0A0F0; 
}

a:link {
	color:#A0A0F0;
}
a:active {
	color:#A0A0F0;
}
a:visited {
	color:#A0A0F0;
}
a:hover {
	color:#000000; background-color:#A0A0F0;
}
a.tail:link {
	color:#A0F0F0;
}
a.tail:active {
	color:#A0F0F0;
}
a.tail:visited {
	color:#A0F0F0;
}
a.tail:hover {
	color:#40A040; background-color:#A0F0F0;
}
a.highlight:link {
	color:#F08040;
}
a.highlight:active {
	color:#F08040;
}
a.highlight:visited {
	color:#F08040;
}
a.highlight:hover {
	color:black;
	background-color:#F08040; 
}
a.comment:link {
	color:#A0F080;
}
a.comment:active {
	color:#A0F080;
}
a.comment:visited {
	color:#A0F080;
}
a.comment:hover {
	color:black;
	background-color:#A0F080;
}

p { 
	text-align:justify; font-size:14px; text-indent:26px;
}
p.title {
	text-align:center; font-size:24px;	
	font-weight:700; color:#40A040;
	margin-top:18px; margin-bottom:18px; text-indent:0pt;
}
p.subtitle {
	text-align:left; text-decoration:underline; text-indent:0pt;
	color:#DD5555;
}
/* used to display "to be continued" */
p.todo {
	text-align:right; color:#DD5555; text-indent:0pt;
}
/* used in index pages to represent category title */
p.category {
	text-align:center; color:#A0F0F0; background-color:#40A040; text-indent:0pt;
}
p.category-left {
	text-align:left; color:#A0F0F0; background-color:#40A040; text-indent:0pt;
}
span.category {
	letter-spacing:40px;
}
span.article {
	color:#BBBBBB; font-weight:700;
}
/* used in diary */
p.date {
	 text-align:left; color:#A0F0F0; background-color:#606060; text-indent:0pt;
}
/* used for timestamp at the end of an article */
p.timestamp {
	text-align:right; color:#40A040; text-indent:0pt;
	margin-top:18px; margin-bottom:18px;
}
/* used for the "back" link at the end of each of the pages */
p.back {
	text-align:center; margin-top:24px; margin-bottom:18px; text-indent:0pt;
}
/* used in the abstract of the tutorials */
p.abstract {
	margin-left:80px; margin-right:80px; text-indent:0px;
	border-top:1px solid; border-bottom:1px solid;
	padding-top:5px; padding-bottom:5px;
}

table {
	width:100%; font-size:14px;
}
td.nowrap {
	white-space: nowrap;
}

ul {
	text-align:justify; margin-right:12px; list-style-type:square; font-size:14px; text-indent:0pt;
}
ol {
	text-align:justify; margin-right:12px; font-size:14px; text-indent:0pt;
}
li {
	margin-left:20px;
}

hr {
	color:#A0A0F0; height:1px;
}
hr.short {
	color:#A0A0F0; height:1px; width:80%;
}

.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-align:center; text-indent:0pt;
}
.float-left {
	float:left;
	margin-right:16px; margin-top:8px; margin-bottom:8px;
}
.float-right {
	float:right;
	margin-left:16px; margin-top:8px; margin-bottom:8px;
}
/* the background color of the header and tailer of the page */
.bg-header {
	background-color:#40A040;
}
/* the foreground color of the header and tailer of the page */
.fg-header {
	color:#A0F0F0;
}
/* used to display HTML/XHTML versions */
.fg-version {
	color:#60C060;
}
/* used by machine_list */
.fg-gray {
	color:#606060;
}
/* the color of a highlight message */
.highlight {
	color:#F08040;
}
/* for poems used in articles */
.poem {
	color:#40A040; text-indent:0pt;
}
/* used to generate white space above a text line */
.first-line {
	margin-top:18px;
}
.quote {
	margin-left:26px; margin-right:26px; font-size:12px; text-indent:0px; color:#7070C0;
}
.quote2 {
	margin-left:26px; margin-right:26px; text-indent:0px; color:#7070C0;
}
.indent {
	text-indent:26px;
}
.noindent {
	text-indent:0pt;
}
.overline {
	text-decoration:overline;
}
.margin-left {
	margin-left:26px;
}
.imgborder {
	border:1px solid #A0A0F0;
}
.theorem {
	border:1px #40A040 solid;
	color:#A0A0F0;
	text-indent:0;
	padding:5px;
	margin-left:26px;
	margin-right:26px;
}
/* used in fuzzy trans */
.comment {
	 color:#A0F080;
}

/* style used by code segment */
.code {
	color:#F0F080; font-family:Courier New, Lucida Console;
}
pre.code {
	margin-left:26px;
	border:2px solid #A0A0F0; padding:10px;
}
/* style used by tcltk code segment - with tcl2html generated code */
p.tcl {
	border:2px solid #A0A0F0;
	margin-left:26px; text-indent:0px; padding:10px;
}