body {
	font-family: helvetica, arial, univers, sans-serif;
}

table,tr,td {
	padding: 0;
	border: 0;
}


table.body {
	background: black;
	color: white;
	width: 85%;
	padding: 0;
/*	border-right: 6px solid #aaaaaa;
	border-bottom: 6px solid #aaaaaa; */
}

td.body {
	background: #ffffcc;
	color: #330000;
	padding: 1em;
	line-height: 1.15;
}


td.topbar {
	background: url(Images/tube-h-t.gif);
	font-weight: bold;
	text-align: center;
}

td.htube {
	background: url(Images/tube-h-t.gif);
	font-weight: bold;
	text-align: center;
}

td.bar {
	font-weight: bold;
	text-align: left;
	padding-left: 1em;
}



.left {
	text-align: left;
	padding-left: 1em;
}

td.right {
	text-align: right;
	padding-right: 1em;
}

td.center {
	text-align: center;
	padding: 0;
}

tr {
	vertical-align: top;
	padding: 0;
}

.blue {
	background: blue;
	color: yellow;
}

.red {
	background: red;
	color: yellow;
}

.white {
	background-color: white;
	color: black;
}

.fgyellow {
	color: yellow;
}

.fgblue {
	color: blue;
}

.fgblack {
	color: black;
}

.fgred {
	background: red;
}

.bgyellow {
	background: yellow;
}

.bgblue {
	background: blue;
}

.bgblack {
	background: black;
}

.bgred {
	background: red;
}


.small {
	font-size: 90%;
}

.h1 {
	font-size: 200%;
	font-weight: bold;
}

.h2 {
	font-size: 160%;
	font-weight: bold;
}

.h3 {
	font-size: 130%;
	font-weight: bold;\
}

.h4 {
	font-size: 120%;
	font-weight: bold;
}

.h5 {
	font-size: 110%;
	font-weight: bold;
}


body {
	background: fixed;
	background-color: #ffc;
}

.rtop {
	position: absolute;
	position: fixed;
	right: 0;
	top: 0;
        width: 50px;
	font-weight:  bold;
	text-align: center;
}

.ltop {
	position: absolute;
	position: fixed;
	left: 2;
        width: 5%;
	font-weight:  bold;
	text-align: center;
	height: 100%;
}

.rtop2 {
	position: absolute;
	position: fixed;
	right: 0;
	top: 0;
        width: 50px;
	font-weight:  bold;

}

.w {
	height: 51px;
	vertical-align: middle;
	align: center;
	padding: 2px;
}

.icon {
	width: 50px;
	border: 0;
}

.sub {
	padding-right: .5em;
	padding-left: .5em;
}

@media screen {  /* hide from IE3 */
a:hover {
	background:  blue;
/*	font-weight: bold; */
	color: yellow;
 }


span.rtop:hover {
        background: yellow;
}



a.w:hover {
        background: white;
}

}

.article {
       padding-left: 10%;
       padding-right: 10%;
	line-height: 1.15;
}
.code {
      padding-left: 10%;
      font-family: terminal, lucidatypewriter, fixed, courier;
      color: black;
      background-color: #ffc;
}

.mono {
      font-family: terminal, lucidatypewriter, fixed, courier;
}

.quote {
       padding-left: 10%;
       padding-right: 10%;
}

.p {
   padding-left: 5%;
}

.intro {
	font-size: 110%;
	color: #733;
	line-height: 1.5;
	padding-left: 15%;
	padding-right: 15%;
}

.run {
        background: #322;
	font-weight: bold;
	color: #afa;
	font-family:  lucidatypewriter, terminal, fixed, courier;
	padding-left: 10%;
	padding-top: 1em;
	padding-bottom: 1em;
        border-left: 3em solid #ffc;
        border-right: 3em solid #ffc;
background-image: url(Images/monitor.png)
}

table.main {
   border: 1pt solid black;
   padding: 1em;
}

td.tril {
   background-color: #ffeecc;
   padding: 1em;
   font-size: 110%;
   font-weight: bold;
}

td.title {
   background-color: #ffeecc;
   padding: 1em;
}

tr.tril {
   border: 1pt solid black;
   background-color: #ffcccc;
}

.norm {
   font-size: 99%;
   font-weight: normal;
}