/* Use:
<link rel="stylesheet" type="text/css"
      href="http://www.cs.stir.ac.uk/%7Esbj/styles/basic.css">
*/

body {
background-image: url("http://www.cs.stir.ac.uk/%7Esbj/images/marble.jpg") ;
background-color: #f0f0f0 ; /* If background image is not available */
font-family: "trebuchet ms", verdana, sans-serif  
}

a:hover {
background: #dddddd
}

/* Font sizes and related are inherited by tables in XHTML! So: */
/* (Not a problem in XHTML? */
td, th {
/* font-size: smaller ;  /* Browser compromise */
/* font-family: "trebuchet ms", verdana, sans-serif */ 
}

li {
margin-bottom: 10px;
}

/* 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
}

*/