/* temporary */
@import "temp.css";

/*
  ========================================================================
	GENERAL SETUP
  ======================================================================== 
*/

BODY {  
        margin: 0;
        padding: 0;
}


BODY, #frontpage, BODY A, #e-sidebar .urhere , 
#e-sidebar .submenu,  #e-sidebar .subtitle  {
	font-family: serif;
	font-family: Verdana, arial, Helvetica, sans-serif;
	font-size-adjust: 0.58;
}

#e-header {
	font-size: 90%;
        display: inline;
	font-family: Verdana, arial, Helvetica, sans-serif;
	font-size-adjust: 0.58;
}

h1, h2, h3, h4, h5, #e-header .topbar A,
h1 *, h2 *, h3 *, h4 *, h5 *, #e-header .topbar A,
.h1 *, .h2 *, .h3 *, .h4 *, .h5 *, 
.pexcontent th * {
	font-family: arial, Helvetica, sans-serif;
	font-weight: bold; 
}


#e-header td.secondbar {
	font-family: arial, Helvetica, sans-serif;
}

#e-header A, #e-sidebar A, #e-extras A, .sidebar A, .box A {
	text-decoration: none; 
}


/*
    ======================================================================
	COLOURS
    ====================================================================== 
*/

A img {
	border: solid white 1px;
}

A:hover img {
	border: solid blue 1px;
}



/*  ----- HEADER COLOURS ------------------------------------------- */

#e-header, #e-header table, #e-header table tr, #e-header table tr td,
#e-header table tr td h1,
#e-header td.h1, td.topbar a,
#e-header h1.header, #e-header td.header,
#e-header h1, #e-header #e-sop a, #e-header td.h1 h1, 
#e-header table tr td table tr td span.uoe, .search,
#e-header td.topbar, td.tophere {
        background-color: #336699;
       color: #ffffff;
}

/* A slightly random mix that seems to work for NS4 */
#e-header tr td.secondbar-0, #e-header tr td.secondbar-0c, 
#e-header tr td.topbar-0, 
#e-header tr td.tophere-0, #e-header tr td a.tophere-0, 
#e-header tr td a.topbar-0 {
        background-color: #999999;
        color: #ffffff;
}

#e-header table tr td .e-crumbs, #e-header table tr td .e-crumbs a,
#e-header table tr td.e-crumbs, #e-header table tr td.e-crumbs a {
	color: #ffffff;
	font-weight: bold;
	text-align: right !important;
}

#e-header table tr td .e-crumbs .crumbs_here,
#e-header table tr td.e-crumbs .crumbs_here {
	color: #ffff00;
}

#e-header table tr td.e-crumbs {
	background-color: #336699 ! important;
	padding-top: 2px;
	padding-bottom: 2px ! important;
	padding-left: 0px;
	border-bottom: solid #99ccff 0px;
}

#e-header table tr td.e-crumbs span.e-crumbs {
	padding: 0px;
	padding-left: 1em;
	padding-right: 1em;
	border-bottom: dotted #99ccff 0px;
}

#e-header table tr td.e-crumbs  {
	background-color: white;
}

#e-header tr td table tr td.tophere-0 {
	border-bottom-color: #999999 ! important;
}

#e-header tr td.secondbar-1, #e-header tr td.secondbar-1c, 
#e-header tr td.topbar-1, 
#e-header tr td.tophere-1, #e-header tr td a.tophere-1, 
#e-header tr td a.topbar-1 {
        background-color: #6699cc;
	color: #ffffff;
}

#e-header tr td table tr td.tophere-1 {
	border-bottom-color: #339966 ! important;
}




#e-header tr td.secondbar-2, #e-header tr td.secondbar-2c, 
#e-header tr td.topbar-2, 
#e-header tr td.tophere-2, #e-header tr td a.tophere-2, 
#e-header tr td a.topbar-2 {
       color: #ffffff;
        background-color: #009c5a;
        background-color: #80a080;
	background-color: #669999;
}

#e-header tr td table tr td.tophere-2 {
	border-bottom-color: #6699cc ! important;
}

#e-header td a.bar2here {
	border-bottom: solid #ff00ff 0px;
	color:  #ffff00;
}

#e-header tr td.secondbar-3, #e-header tr td.secondbar-3c,
#e-header tr td.topbar-3, 
#e-header tr td.tophere-3, #e-header tr td a.tophere-3, 
#e-header tr td a.topbar-3 {
       background-color: #996699;
        color: #ffffff;
}


#e-header tr td table tr td.tophere-3 {
	border-bottom-color: #996699 ! important;
}

#e-header table tr.topbar td, #e-header table tr.topbar td a {
	border-color: white !important;
}

#e-header .bar2, #e-header .after  {
        color: #ffffff;
}

/*
#e-header td.tophere a.tophere,
#e-header td.topbar a.topbar, #e-header td a.bar2 {
        color: #ffff00;
}
*/

.searchbox {
	background-color: white;
	padding: 0px;
	margin: 0px;
}

.e-crumbs a:hover, #e-sidebar a:hover { 
        background-color: #ffff00;
	color: blue;
}

#e-header td A:hover { 
        background-color: #ffff99 !important;
	color: blue !important;
}

/* ----- SIDEBAR COLOURS ------------------------------------------- */

#e-sidebar .title,  #e-sidebar .subtitle {
	color: #003366;
}

#e-sidetd  {
	background-color: #ffffff;
}


/* ----- CONTENT COLOURS ------------------------------------------- */

.pexcontent h2, .pexcontent .h2, h1,
.pexcontent h3, .pexcontent h4, .pexcontent .h3, .pexcontent .h4  {
	color: #005a9c;
}
 
span.strong {
	font-weight: bold;
	color: red;
}

.pexcontent { 
	background-color: #ffffff;
}

hr.thick {
	color: #0000C0;
	background-color: #0000C0;
	height: 2px;
}


/*
  ========================================================================
	HEADER 
  ======================================================================== 
*/

#e-header td.h1 .uoe, #e-header td.h1 h2 {
	font-size: 165%;
	display: inline;
	vertical-align: middle;
 	border: solid #00ff00 0px;
}

#e-header tr td h1 {
	vertical-align: middle;
	/* text-align: left;
	color: #ffff00 ! important; */
	margin: 0px;
	padding: 0px;
	font-size: 165%;
}

#e-header .bar2, #e-header .topbar, #e-header .tophere, 
#e-header .bar2here, #e-header .after {
        font-weight: bold ! important;
}

#e-header table tr td.topbar {
	vertical-align: bottom;
 }


/* ------ Padding, borders and alignment --------------------------------*/
#e-header table tr td #e-topbar tr td {
	border: solid 1px;
}
 #e-header table tr td #e-topbar tr td.spacer {
	border-width: 0px;
	border-bottom: solid 1px;
}

#e-header table, #e-header table tr,  #e-header table tr td,
#e-header table tr.topbar td.h1 {
	border: solid #006699 0px;
        text-decoration: none;
	text-align: center;
}

#e-header table tr td .e-crumbs, #e-header table tr td.e-crumbs {
	text-align: left;
}

span.topbar {
	width: 10em;
}

#e-header td.h1 img {
	margin: 2px;
}

#e-header td.h1 .uoe, #e-header td.h1 h1,
 #e-header td.searchbar {
	padding: 0px;
	margin: 0px;
 	border: solid #00ff00 0px;
}

#e-header tr td.search, .search {
	padding: 0px;
	padding-bottom: 4px;
	vertical-align: bottom;
	margin: 0px;
	border-bottom: solid white 1px;
}

#e-header table tr td form, #e-header table tr td form input {
	padding: 0px;
	margin: 0px;
	display: inline;
}

#e-header h1.header, #e-header td.header, #e-header td.topbar,
#e-header td.h1, #e-header td.h1 h1   {
	margin-top: 0px;
	padding-top: 0px;
	vertical-align: middle;
}

/* padding on the left or right kills NS4 */
#e-header td a.topbar, #e-header td a.tophere {
	padding-top: 2px;
	padding-bottom: 0px;
	vertical-align: bottom;
}

#e-header table tr td.secondbar-0c, #e-header table tr td.secondbar-1c, 
#e-header table tr td.secondbar-2c, #e-header table tr td.secondbar-3c {
	text-align: left;
}


#e-header table tr td.secondbar-0,
#e-header table tr td.secondbar-1,
#e-header table tr td.secondbar-2,
#e-header table tr td.secondbar-3,
#e-header table tr td.secondbar-0c,
#e-header table tr td.secondbar-1c,
#e-header table tr td.secondbar-2c,
#e-header table tr td.secondbar-3c {
	border-top: 0px;
	padding-bottom: 2px ! important;
	padding-top: 2px;
}

#xe-header table tr td.secondbar-0 a,
#xe-header table tr td.secondbar-1 a,
#xe-header table tr td.secondbar-2 a,
#xe-header table tr td.secondbar-3 a {
	padding-bottom: 2px;
}

#xe-header table tr td a.bar2here {
	border-bottom: 2px solid #ff0000;
}


/*
  Adding padding to aninline element causes it to bleed
  over the previously-drawn content as it does NOT effect the hight.
*/
#e-header table tr td span.tophere, 
#e-header table tr td span.topbar,
#e-header table tr span.tophere-0, 
#e-header table tr span.topbar-0,
#e-header table tr span.tophere-1, 
#e-header table tr span.topbar-1,
#e-header table tr span.tophere-2, 
#e-header table tr span.topbar-2,
#e-header table tr span.tophere-3, 
#e-header table tr span.topbar-3 {
	padding: 0px;
	padding-top: 1px;
	border: solid  1px;
}

#e-header table tr td span.tophere,
#e-header table tr td *.tophere-0,
#e-header table tr td span.tophere-1,
#e-header table tr td span.tophere-2,
#e-header table tr td span.tophere-3 {
	padding-bottom: 1px;
	border-bottom: dotted white 0px;
}


#xe-header table tr td span.topbar {
	border: dotted  1px;
	border-bottom: solid  1px;
}

#e-header table td.topbar, #e-header table td.tophere,
#e-header table tr.topbar td.logo {
	border-bottom: solid  1px;
}

#e-header table tr.topbar td.logo {
	padding-right: 20px;
}

#e-header table  .bar2 {
	border-left: solid white 2px ;
	border-right: solid white 0px;
}

#e-header table  .bar2here, #e-header table .after {
	border-left: solid #ffff00 2px;
	border-right: solid  0px;
}

#e-header table   .bar2here:first-child,
#e-header table   .bar2:first-child {
	border-left: solid white 0px ! important;
}


#e-header td.secondbar a.bar2here, #e-header td.secondbar a.bar2,
#e-header td.secondbar a.after  {
	/*white-space: nowrap; */
	display: inline;
}

/*====================================================================== */

#e-header td span.uoe {
        font-size: 165%;
        display: inline;
        vertical-align: middle;
        border: solid #00ff00 0px;
}

#e-sop {
	text-align:center;
}

.pexcontent h2, .pexcontent .h2, h1 {
        font-weight: bold;
	line-height: 110%;
	font-size: 180%;
}

 
/* NB: These next two must be in this order */
#e-sidebar {
	margin: 3px;
	padding-right: 0px;
	padding-left: 0em;
	left: 0px;
	vertical-align: top;
	font-size: 90%;    
 }

/* NB: These next two must be in this order */
#e-sidebar A, .box A {
        display: block;
}

#e-sidebar img {
	vertical-align: middle ! important;
}

.box_nobreak A {
        display: inline;
}

.pexcontent .sidebar {
	width: 19%;
	float: right;
	vertical-align:middle;
}

#e-sidebar {
	width: 150px;
}

#e-sidebar a, #e-sidebar .urhere, #e-sidebar .submenutitle {
	padding-bottom: 3px;
	padding-top: 3px;
	border-top: solid #99ccff 1px;
	margin-left: 1em;
}

#e-sidebar .submenutitle {
	margin-left: 1em;
}

#e-sidebar .white {
	color: white; /* Sctually, whatever the background colour is */
}

#e-sidebar .submenu a, #e-sidebar .submenu .urhere {
	border-top: solid #999999 1px;
	border-top: dashed #999999 1px;
	text-align: right;
}

#e-sidebar .urhere {
	text-align: left;
	text-indent: -1em;
}


#e-sidebar .urhere:first-letter {
	color: #ff0000;
	font-weight: bold;
	color: red;
	border-top: 0px;
}

#e-sidebar .toc, #e-sidebar .tohome  {
	margin-left: 0em;
	padding-left: 2em;
	text-indent: -1em;
	border-top: solid #6699cc 2px;
}


#e-sidebar .title, #e-sidebar .subtitle,
  #e-sidebar .submenu .title {
	padding-left: 0em;
	text-align: left;
	border-top: solid #6699cc 2px;
	font-weight: bold;
	padding-bottom: 3px;
	padding-top: 3px;
}


#e-sidebar .title {
	font-weight: bold;
	font-family: arial, Helvetica, sans-serif;
}

 #e-sidebar .submenu .title {
	text-align: right;
	border: 0px;
	margin-top: 0px;
}

#e-sidebar .title {
	font-size: 140%;

	margin-top: 10px;
	border-top: solid #6699cc 0px;
	margin-bottom: 1px;
	border-bottom: solid #6699cc 0px;
}


/* 
 Side menus 
*/

#e-sidebar li {
	list-style-type: none;
	margin: 0px;
	padding: 0px;
	margin-left: 1em;
	display: block;	
}

#e-sidebar .dir {
	display: block;	
	padding: 4px;
	padding-left: 10px;
	margin: 0px;
	margin-left: 0px;
}

/* These need to be near the end */
.noleftpad, .noleftpad a {
	padding-left: 0em;
	text-indent: 0em;
}

.noleftpad {
	margin-top: 10px;
	border: solid #6699cc 1px;
}

/*======================================================================
	BOXES
  ====================================================================== */
 

table.box {
	border: 1px;
}

.box td, .box th {
	margin: 0px;
}


.pexcontent table.box th {
	color: #006699;
	border-bottom: solid 1px #99cccc;
}

.pexcontent .box1 {
	background: white ;
	border: solid 2px #99cccc;
}

table.right, table.left  {
	padding: 5px;
	padding-top: 0;
}

table.right {
	padding-right: 0;
	float: right;
}

table.left {
	float: left;
	padding-left: 0;
}

table.bottom, table.top {
	padding-bottom: 0;
}

/*======================================================================
	CONTENT 
  ====================================================================== */
 
.pexcontent {
	line-height: 120%;
	margin-left: 2%;
	padding: 10px;
	z-index: 1;
	vertical-align: top;
}
.pexcontent,.pexcontent * {
	font-size: 13px;
}



.pexcontent .leftcol { 
	text-align: right; 
}

.pexcontent .centrecol, .pexcontent .centercol {
	 text-align: center; 
}

.pexcontent .rightcol { 
	text-align: left; 
}

.pexcontent .left {
	float: left;
}

td.pexcontent > h2:first-child  {
	text-align: center;
	padding-left: 0ex;
	margin-top: 0.5ex;
}

.pexcontent h1, .pexcontent .h1{
	font-size: 180%;
	margin-bottom: 1ex;
	margin-top: 4ex;
}

td.pexcontent h2  {
	font-size: 150%;
	margin-bottom: 0.5ex;
	margin-top: 3.6ex;
	padding-left: 0ex;
}

.pexcontent h3, .pexcontent .h3 {
	font-size: 120%;
	margin-bottom: 0.5ex;
	margin-top: 2.5ex;
	padding-top: 0ex;
	padding-bottom: 0ex;
	border: none white 0px;
}

.pexcontent h3:first-child, .pexcontent h4:first-child {
	margin-top: 0.5ex;
}

p, ul, ol, dl {
	margin-top: 1ex;
	margin-bottom: 1ex;
	padding-top: 0ex;
	border:  none white 0px;
	padding-bottom: 0ex;
}
	

.pexcontent h4, .pexcontent .h4 {
	font-size: 100%;
	margin-bottom: 0.5px;
	margin-top: 1.5ex;
}

.pexcontent h1:first-child, .pexcontent h2:first-child,
.pexcontent h3:first-child, .pexcontent h4:first-child {
        margin-top: 0ex;
}


.pexcontent div.whatnext {
	border-top:  solid thin #0099cc ;
	margin-top: 10px;
	text-align: center;
	width: 100%;
}

.pexcontent span.next {
	text-align: right;
	padding-left: 20px;
}

.pexcontent span.up {
	padding-right: 20px;
	padding-left: 20px;
	text-align: center;
}

content span.prev {
	float: left;
	text-align: left;
	padding-right: 20px;
}

pre.code {
	border: thin solid grey;  
	margin-top: 10pt; 
	margin-bottom: 5pt; 
	margin-left: 10pt; 
	padding-left: 10pt; 
	padding-right: 20pt; 
	padding-top: 10pt; 
	padding-bottom: 10pt; 
	white-space: pre;
}



/*
  ========================================================================
	POST-LINKS & CRUMBS
  ======================================================================== 
*/
.e-postlinks A:hover img, .e-postlinks A img {
	border: solid white 0px;
}

.e-postlinks A {
 	padding: 0px;
       text-decoration: none;
}

.e-postlinks, .e-crumbs {
	padding: 0;
	padding-left: 2em;
	padding-bottom: 6px;
}


.e-crumbs a {
        text-decoration: none;
	display: inline;
	font-weight: normal;
}

.e-crumbs  {
	text-align: left;
        color: black;
	vertical-align: middle;
	font-weight: normal;
	font-family: Verdana, arial, Helvetica, sans-serif;
	font-size-adjust: 0.58;
	/* font-size: 90%;  */
}


.e-crumbs .e-home {
	display: inline;
	font-size: 120%;
}

.e-crumbs #crumbs_here {
	font-weight: normal;
	display: inline;
	color: black;
 	border-bottom: solid 0px white ;
}

.e-crumbs #crumbs_here + * {
 	border-bottom: solid 2px white ;
}


/*
  ======================================================================
	MISC 
  ====================================================================== 
*/

ul ul, ul ol, ol ol, ol ul, ol dl, ul dl {
	padding-top: 0ex;
	margin-top: 0ex;
}

/* ----- 'skip navigation' links --------------------- */
.ns4 a, .ns4 {
   display: inline;
}

#e-header .invisible, #e-header a.invisible,  a.ns4:visited, .noscreen {
   display: none;
}


/* For colloquia etc. */
table.dated tr td {
	padding-left: 1em;
	padding-right: 0em;
	padding-bottom: 2ex;
	vertical-align: top;
	text-align: left;
}

table.dated tr td:first-child {
	padding-left: 0em;
	text-align: right;
	white-space: nowrap;
}


.mylist dt {
	padding-left: 2em;
	text-indent: -2em;
}

table.rightfloat {
	float: right;
	text-align: right;
}

/* IE 5 bugs */
#e-header table tr #e-sop h1 {
	border: solid #006699 0px;
}

#e-header table tr, #e-header table tr td {
	padding-bottom: 0px ! important;
}
/* End of IE 5 bugs */


/* Table debug
#e-header table tr td, #e-header table tr td  table tr td {
	border: 2px dashed #cc0000 ! important;
} 

   */