hr { color: #ccc; height: 5px }

body, table  { 
	color: #ffffff; 
	font-family: georgia, "Times New Roman", times, serif
}

body { background-color: #000}

.nomargin { margin: 0px }

/* for extensive quotes from commercial sources--in other words, 
   advertisements */
.blurb {
	font-family: arial, verdana, helvetica, sans-serif; 
	font-style: italic;
        indent: 0px;
}
h1, h2, h3, h4, h5, h6 { font-weight: bold }
h1 { font-size: 200% }
h2 { font-size: 150% }
h3 { font-size: 135% }
h4 { font-size: 120% }
h5 { font-size: 100% }
h6 { font-size: 80% }

.hugetext { font-size: 300%; font-weight: bold }
.title1   { font-size: 200%; font-weight: bold }
.title2   { font-size: 150%; font-weight: bold }
.title3   { font-size: 135%; font-weight: bold }
.title4   { font-size: 120%; font-weight: bold }

.size500 { font-size: 500% }
.size400 { font-size: 400% }
.size300 { font-size: 300% }
.size250 { font-size: 250% }

.size6 { font-size: 200% }
.size5 { font-size: 150% }
.size4 { font-size: 120% }
.size3 { font-size: 100% }
.size2 { font-size: 80%  }
.size1 { font-size: 60%  }
sup,sub  { font-size: 60%  }

.size+1 { font-size: 120% }
.size+2 { font-size: 150% }
.size+3 { font-size: 200% }
.size-1 { font-size: 80%  }
.size-2 { font-size: 60%  }

dt { font-size: 120%; font-weight: bold }

b, strong { font-weight: bold }

/* links */

a { font-weight: bold; text-decoration: none }
a:link { color: #f90 }
a:visited { color: #0f0 }
a:hover { background-color: #0ff; color: #000 }
a:active { background-color: #0ff; color: #f09 }

/* This is the font I like to use for menus. */
.smallbold {
	font-family: arial, verdana, helvetica, sans-serif; 
	font-size: 80%; font-weight: bold
}

/* For lots of text in a limited space
*/
.smallplain {
	font-family: arial, verdana, helvetica, sans-serif; 
	font-size: 80%
}

.fixedfont { font-family: fixedsys; font-weight: normal }
.arial { font-family: arial, verdana, helvetica, sans-serif }

/* I think Georgia works better as a web font than Times
   New Roman. However, just about *everyone* has
   Times New Roman on their system.
*/
.georgia { font-family: georgia, times, serif }
.times { font-family: "times new roman", times, serif }

/* Paragraphs in a realparagraphs block are indented but not
   separated by blank lines. Other blocks retain whatever
   indentation and line-spacing they had before.
*/

.realparagraphs p { margin: 0px; text-indent: 50px }
p.first {
	margin: 0px;
	text-indent: 0px
}

.maintitle {
	font-family: arial, verdana, helvetica, sans-serif; 
	font-size: 200%; 
	font-weight: bold
}


.currentpage { color: #ff0 }
.currentsection { background-color: #ff0; color: #000 }

.blackbold { color: #000; font-weight: bold }
.redbold { color: #f00; font-weight: bold }
.bluebold { color: #00f; font-weight: bold }
.limebold { color: #0f0; font-weight: bold }
.yellowbold { color: #ff0; font-weight: bold }
.azurebold { color: #0ff; font-weight: bold }
.whitebold { color: #fff; font-weight: bold }
.kimbold { color: #393; font-weight: bold }
.venusbold { color: #f90; font-weight: bold }
.orangebold { color: #f90; font-weight: bold }
.purplebold { color: #f0f; font-weight: bold }

.hentai { color: #f00; font-weight: bold }
.kidsafe { color: #0f0; font-weight: bold }


/* colors */

.black { color: #000 }
.red { color: #f00 }
.blue { color: #00f }
.lime { color: #0f0 }
.yellow { color: #ff0 }
.azure { color: #0ff }
.white { color: #fff }
.kim { color: #393 }
.venus { color: #f90 }
.orange { color: #f90 }
.purple { color: #f0f }
.pink { color: #f09 }
.dpink { color: #f06 }

/* text colors -- a kludge for backwards compatability */

.blacktext { color: #000 }
.redtext { color: #f00 }
.bluetext { color: #00f }
.limetext { color: #0f0 }
.yellowtext { color: #ff0 }
.azuretext { color: #0ff }
.whitetext { color: #fff }
.kimtext { color: #393 }
.venustext { color: #f90 }
.orangetext { color: #f90 }
.purpletext { color: #f0f }
.pinktext { color: #f09 }
.dpinktext { color: #f06 }

/* stripes */

hr.pinkstripe { color: #000; margin: 0px }
hr.redstripe { color: #f00; margin: 0px }
hr.bluestripe { color: #00f; margin: 0px }
hr.limestripe { color: #0f0; margin: 0px }
hr.yellowstripe { color: #ff0; margin: 0px }
hr.azurestripe { color: #0ff; margin: 0px }
hr.whitestripe { color: #fff; margin: 0px }
hr.orangestripe { color: #f90; margin: 0px }
hr.purplestripe { color: #f0f; margin: 0px }
hr.pinkstripe { color: #f09; margin: 0px }
hr.dpinkstripe { color: #f06; margin: 0px }

/* strips */

div.blackstrip  { background-color: #000; margin: 0px; line-height: 2px }
div.whitestrip  { background-color: #fff; margin: 0px; line-height: 2px }
div.greystrip   { background-color: #999; margin: 0px; line-height: 2px }
div.redstrip    { background-color: #f00; margin: 0px; line-height: 2px }
div.bluestrip   { background-color: #00f; margin: 0px; line-height: 2px }
div.orangestrip { background-color: #f90; margin: 0px; line-height: 2px }
div.brickstrip  { background-color: #900; margin: 0px; line-height: 2px }
div.limestrip   { background-color: #0f0; margin: 0px; line-height: 2px }
div.greenstrip  { background-color: #090; margin: 0px; line-height: 2px }
div.violetstrip { background-color: #f0f; margin: 0px; line-height: 2px }
div.azurestrip  { background-color: #ff0; margin: 0px; line-height: 2px }
div.yellowstrip { background-color: #0ff; margin: 0px; line-height: 2px }
div.pinkstrip   { background-color: #f09; margin: 0px; line-height: 2px }
div.dpinkstrip  { background-color: #f06; margin: 0px; line-height: 2px }
div.kimstrip    { background-color: #393; margin: 0px; line-height: 2px }