/* Use:
<link rel="stylesheet" type="text/css" href="styles/basic.css">
*/

body {
background-image: url("http://www.cs.stir.ac.uk/~sbj/images/marble.jpg") ;
background-color: #f0f0f0 ;
font-size: 90% ;  /* Browser compromise */
font-family: "trebuchet ms", verdana, sans-serif ;
}

a:hover {
background: #dddddd;
}

h1 {font-size: 2.0em;}
h2 {font-size: 1.7em;}
h3 {font-size: 1.4em;}
h4 {font-size: 1.2em;}

/* Font sizes and related are inherited by tables in XHTML! So: */
td, th {
/* font-size: smaller ;  /* Good for IE, not good for Firefox */
/* font-family: "trebuchet ms", verdana, sans-serif ; */
}

tr {vertical-align: baseline;
}

li {margin-top: 0.2em; margin-bottom: 0.5em;}
dt {margin-top: 0.2em; margin-bottom: 0px;}
dd {margin-top: 0px; margin-bottom: 0.5em;}

/* pre and tt look a bit small relative to surrounding text, so */
pre, tt {
font-size: larger; 
}

address {
text-align: center;
}


/*  BELOW HERE: SAMPLES ONLY: NOT IN USE

H1, H2, H3 {
color:           green
}
H1 {
font-size:       18pt ; 
font-weight:     200
}
H2 {
font-size:       14pt ;
font-weight:     500
}
H3 {
font-size:       12pt ; 
font-weight:     500
}
TT, PRE {
font-size:       11pt
}

*/