/*
 * Cascaded Style Sheet
 *
 * John Papandriopoulos <jpap at ee dot mu dot oz dot au>
 *
 */


/**
 ** Document defaults 
 **/

A:link      { color: blue; text-decoration: none; }
A:visited   { color: navy; text-decoration: none; }
A:active    { color: blue; text-decoration: underline; }
A:hover     { color: blue; text-decoration: underline; }

h1 {
	font-family: Times;
}
h2 {
	font-family: Times;
}
h3 {
	font-family: Times;
}

body {  
   text-decoration: none;
   background-color: white;
   color: black;
   font-family: Arial, Verdana, "Times New Roman", Times;
}

img {
   /*border: 2px;*/
   vertical-align: middle;
}

/**
 ** The master canvas
 **/

div.master {
   min-height: 100%;
   height: 100%;
   padding: 0px;
   margin: 0px;
}

div.master table.master {
   /* The master table -- the sidebar and content goes in here */
   border: 1px;
   border-style: none;
   border-width: 1px;
   border-spacing: 0px;
   padding: 0px;
   margin: 0px;
   width: 100%;
   height: 80%;
}

div.master table.master tr {
   /* The only row in the master table */
   border-style: none;
   border-width: 0px;
   padding: 0px;
   border: 0px;
}

/**
 ** The navigation sidebar
 **/

div.master table.master td.sidebar {
   /* The sidebar properties */
   border-style: none;
   vertical-align: top;
   width: 10%;
   padding: 10px;
   padding-top: 20px;
}

div.master table.master td.sidebar table {
   background-color: #99aaff;
   width: 100%;
   height: 100%;
}

div.master table.master td.sidebar table tr {
   /* Text inside the sidebar */
   vertical-align: top;
}

div.master table.master td.sidebar table td {
   /* Text inside the sidebar */
   text-align: right;
   width: 100%;
   padding-right: 10px;
   padding-left: 10px;
}

div.master table.master td.sidebar table td.pad {
   /* Cell to pad the rest of the table */
   height: 100%;
}

div.master table.master td.sidebar a {
   /* Links in the sidebar are not underlined */
   text-decoration: none;
   font-weight: bold;
   /* font-size: smaller; */
}

/* Colour of text in the sidebar */
div.master table.master td.sidebar a:link    { color: navy; }
div.master table.master td.sidebar a:visited { color: navy; }
div.master table.master td.sidebar a:active  { color: navy; }


/**
 ** Site content
 **/

div.master table.master td.content {
   /* Content in the page */
   vertical-align: top;
   border-style: none;
   background-color: white;
   width: 90%;
   padding: 2ex;
   margin: 0px;
}


/**
 ** Site footer
 */

div.footer {
   /* None */
}

div.footer table.footer {
   border-style: none;
   width: 100%;
}

div.footer td.maintainer table {
   text-align: left;
   font-size: smaller;
}

div.footer td.validator {
   text-align: right;
}

div.footer td.public-key {
   font-size: smaller;
   color: #333333;
}

div.footer td.disclaimer {
   font-size: smaller;
   color: #333333;
   font-style: italic;
}

/**
 ** Scripting section
 **/

span.noscript {
   font-weight: bold;
}