/* 
	zois.css - A suggested style sheet for general ZOIS use.
	
	See Zen Garden (http://www.cssengarden.com) for more artistic
	CSS and W3 (www.w3.org/Style/CSS) for the nitty gritty.

	This zois.css is destined for external use with the www.zois.co.uk
	web-site.

	$Id: zois.css,v 1.3 2009/11/27 19:33:09 sullivan Exp $
*/

html {
    background: #FFFAFA;	/* aka Snow1 in rbg	*/
    margin-right: 10px;
    margin-left: 10px;
    margin-top: 0px;
    margin-bottom: 0px;
    padding: 0px;
} /* html */

/* 
FontChoice

A note on fonts. The DejaVu family is an "improved" Bitstream Vera, and
is not a million miles away from Georgia/Verdana (serif and sans-serif
fonts). All look OK on a screen at small point sizes. Bitstream
Vera is common to all platforms where DejaVu is found on more modern
Linux/*BSD. Georgia is in Microsoft's sortof-open standard "Core fonts
for the Web", but it needs to be downloaded and isn't available on earlier
platforms. Verdana is similarly afflicted. CSS font choices are thus:
* "DejaVu Serif", "Bitstream Vera Serif", Georgia, serif
* "DejaVu Sans", "Bitstream Vera Sans", Verdana, sans-serif
* Courier, mon-space

*/

body {
    font: 9pt "DejaVu Serif", "Bitstream Vera Serif", Georgia, serif;
    text-align: justify; 
    padding: 0px;
} /* body */

p { 				/* largely inherited */
} /* p */

/* <p class=first> Gets a hanging paragraph */
p.first:first-letter {
    line-height: 1;		/* req. Safari, IE8, Opera	*/
    font-size: 300%;
    letter-spacing: 1px;
    padding: 2px;
    float: left;
} /* hanging paragraph sillyness */

code {
    font: 10pt "Courier", monospace;
} /* code */

h1, h2, h3, h4, h5 {
    font-family: "DejaVu Sans", "Bitstream Vera Sans", Verdana, sans-serif;
    font-weight: bold;
    color: #7D775C;             /* another darkish brown, not so dark   */
    letter-spacing: 1px;
    margin-bottom: 20px;
    margin-top: 20px;
    text-align: left;
} /* standard header stuff */

h1 {				/* Big shouty, site header	*/
    font-style: italic;
    font-size: 20pt;
    text-align: center;
} /* h1 */

h2 {				/* Page header	*/
    font-size: 18pt;
} /* h2 */

h3 {				/* Section header	*/
    font-size: 12pt;
    margin-bottom: 0px;
} /* h3 */

h4 {
    font-size: 12pt;
    margin-bottom: 0px;
    margin-top: 10px;
} /* h4 */

h5 {
    font-size: 12pt;
    margin-bottom: 0px;
    margin-top: 10px;
} /* h5 */

/* Link colours. If there's something that narks me is that folk CSS
 * obvious links out of existence. The colours are left as close to the
 * 'normal' blue/purple ones as possible. MS.	*/

a {
    text-align: left;
} /* a */

a:link { 
    text-decoration: underline; 
    color: blue;
} /* a:link */

a:visited { 
    text-decoration: underline; 
    color: purple;
} /* a:visited */

/* Mouse-over ... As few surprises as possible please ... */
a:hover, a:active { 
    text-decoration: none; 
} /* a:hover */ 

dt {
    font-style: italic;
    color: #50505C;         /* another darkish brown, not so dark */
} /* dt */

table {
    font: 9pt "DejaVu Serif", "Bitstream Vera Serif", Georgia, serif;
    text-align: justify; 
    padding: 5px;
} /* table */

/* optional stuff is dynamically manipulated by Javascript in
 * conjunction with a dynamically assigned tag	*/
.optional {
    display: none;
} /* optional */