/**** .CSS file for my wikis ****/


/*** BODY DEFINITIONS ***/

body, p, ul, ol, li, h1, h2, h3, h4, h5, h6, dd, dt {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-weight: normal;
	font-size: 10pt;
	color: #666666;
	line-height: 20px;
        }

body {
        background-color: #FFFFFF;
        }




/*** WIKI-SPECIFIC ***/

/* The header and footer, RC and Prefs of the wiki + main text + preview text */
DIV.wikirc,
DIV.wikipref,
DIV.wikipreview,
DIV.wikitext {
	background-color : #FFFFFF;
	/*margin: 10px;*/
	padding: 10px;
}

DIV.wikiheader {
	background-color : #FFFFFF;
	padding: 10px;
	vertical-align: bottom;
	background-position: top;
}

DIV.wikifooter {
	background-color : #FFFFFF;
	/*margin: 10px;*/
	padding-top: 10px;
}


/*** BACKGROUNDS FOR CHECKING DIFFS ***/

/* Background colour of the text shown as modified/old */
TABLE.wikidiffold {
	background-color : #FFFFCC;
}

/* Background colour of the text shown as added/new */
TABLE.wikidiffnew {
	background-color : #99CC66;
}


/*** RANDOM LINES ***/

/* The fatness of the <hr> lines */
HR.wikilinefooter,
HR.wikiline {
	height : 3px;
	margin-top: 10px;
}


HR.wikilineheader {
	height : 3px;
	margin-top: 18px;
	vertical-align: top;
}


HR.wikilinefooter {
	margin: 10px;
}


/*** EDIT PAGE FORMATS ***/

form {
	margin: 10px;
	/* padding-left: 10px; */
        /* display: inline; */
	}

textarea {
	background: #FFFFFF;
	font-family: courier, mono;
	line-height: 20px;
	}






/*** HEADERS ***/

h1, h2, h3, h4, h5, h6 {
	font-weight: bold;
	color: #000000;
	margin-top: 15px;
	margin-bottom: 15px;
	font-family: Verdana, Arial, Helvetica, sans-serif;
        }

/* ??? */
h3.lettergroup {
        /* border: none; */
        }

h1 {
        /* margin-top: 0px; */
        font-size: 150%;
        border: none;
        }

h2 {
	font-size: 130%;
	}

h3 {
	font-size: 120%;
	}

h4 {
	font-size: 110%;
	}

h5 {
	font-size: 100%;
	}



/*** OTHER TEXT TYPES ***/

blockquote {
	background: #FFFFFF;
	margin: 0.5em 10% 0.5em 5%;
	padding: 0.5em 1em;
	font-family: "Courier New", Courier, mono;
	color: #666666;
        }

code, tt {
        font-family: courier, "courier new", monaco, monospaced;
        color:#666666;
        }

pre {
        font-family: courier, "courier new", monaco, monospaced;
        border: #777777 1px solid;
        padding: 0.5em;
        margin-left: 1em;
        margin-right: 1em;
        white-space: pre;
        background-color: #ffffff;
        color: black;
        }

li {
        font-size: 10pt;
        color: #666666;
        margin-bottom: 0.2em;
        margin-right: 5%;
        }

li.changeitem {
        list-style-type: none;
        }
.changeitemtime {
        font-family: : courier, "courier new", monaco, monospaced;
        }

ul {

        font-size: 10pt;
        color: #666666;
        }

/* this reverses the 2nd and 3rd level list item bullets */
ul>li>ul {list-style-type: square;}
ul>li>ul>li>ul {list-style-type: circle;}

dl {
        margin-top: 0px;
        margin-bottom: 0px;
        }

dt {
        font-weight: bold;
        color:#666666;}

dd {
        margin-left: 5%;
        margin-right: 5%;
/*      margin-bottom: 0.5em;   */
/*      text-indent: -1em;              */
        }




/*** LINK FORMATTING ***/

a:link {
        text-decoration: none;
        color: #003399; 
}

a:hover {
        text-decoration: underline;
        /* color: #cc0000; */
}

a:active {
        text-decoration: none;
        color: #cc0000;
}


a:visited {
        text-decoration: none;
        color: #CC3300;
}

/* why does hover not work here?*/
a.WikiPageLink {        /* all links to wikipages have this class */
        color : #003399;
}


a.UnknownWikiLink { 
        color : #FF6633;
        font-size: 60%;
}

a.BracketLink {         /* all [bracketed] links have this class */
        color : #003399;
}


/*** TOOL BARS ***/

/*** What exactly are these "tools" bits? ***/

div.navtools,
div.pagetools,
div.admintools {
	padding: 0px;
	/* margin: 10px; */
	background: #ffffff;
        }

.tweener {
        display: none;
}

.navtool {
        font-family: Verdana, Arial, Helvetica, sans-serif;
        font-size: 9pt;
        }

.navtool a {
        font-family: verdana, helvetica, arial, sans;
        font-size: 9pt;
        padding: 0px;
/*      background-color: #eeeeee;              */
        line-height: 1em;
        /* margin: 1px; */
/*      border: 1px outset #cccccc;             */
        display: inline;
}

.navtool a:hover {
        margin: 0px;
        border: 1px inset #cccccc;
/*      background:#ffffff; */
        text-decoration: none;
}



/* ------------------------------------------------------------------------------------*/

span.searchword {background-color: yellow; color:red;}


/* ------------------------------------------------------------------------------------*/

table.visitors tr td {padding: 0px 5px; font-family:sans;}