body { font-family: arial, helvetica, sans-serif; font-size: 10pt; background-color: white; width:99%; } IMG.noborder {border-style:none} TD {font-family: arial, helvectica, sans-serif; font-size: 10pt; } .menu { text-decoration: none; font-family: sans-serif; font-size: 9pt; color: #910124; background-color: #F4F4F4; border-style: thin; } .menu a, .menu a:link, .menu a:visited, .menu a:active { text-decoration: none; font-family: sans-serif; font-size: 9pt; font-weight: bold; color: #910124; background-color: #F4F4F4; display: block; padding: 2px; margin-left: 6px; border-style: dashed; border-width: thin; border-color: gray; border-top: 1px; border-bottom: none; border-left: none; border-right: none; border-color: #F4F4F4; float: top; } .menu a:hover { padding: 2px; text-decoration: none; font-family: sans-serif; font-size: 9pt; color: red; background-color: #FEFEAA; /* background-color: #FEFEFE; */ /* background-color: khaki; */ display: block; border-style: solid; border-width: thin; border-color: gray; border-top: 1px; border-bottom: 1px; border-left: none; border-right: none; border-color: #000000; /* outline-width: 2px; */ /* border-style: outset; */ } .menu2 { text-decoration: none; font-family: sans-serif; font-size: 9pt; background-color: #F4F4F4; border-style: none; } .menu2 a, .menu2 a:link, .menu2 a:visited, .menu2 a:active { text-decoration: none; font-family: sans-serif; font-size: 9pt; background-color: #F4F4F4; display: block; padding: 1; border-style: none; border-width: thin; border-color: gray; float: top; } .menu2 a:hover { text-decoration: none; font-family: sans-serif; font-size: 9pt; background-color: #FFFF88; /* background-color: #FFFFFF; */ display: block; outline-width: 2px; border-style: none; border-width: medium; border-color: gray; } td.navMenu a:hover { font-family: sans-serif; font-size: 9pt; background-color: #F4F4F4; text-align:center; background-color: white; text-decoration: none; border:1} td.navMenu a:link { font-family: sans-serif; font-size: 9pt; background-color: #F4F4F4; text-align:center; text-decoration: none} td.navMenu a:visited { font-family: sans-serif; font-size: 9pt; background-color: #F4F4F4; text-align:center; text-decoration: none} a.toprow { text-decoration: none; color: #00F; font-family: sans-serif; font-size: 9pt; background-color: #F4F4F4; text-align:center} #body { /* margin: 4px 4px 4px 4px; padding: 4px 4px 4px 4px; */ margin: 0px 0px 0px 0px; padding: 0px 0px 0px 0px; margin-left: 0px; margin-right: auto; } #mainplain { /* background:#fff; padding: 0.25in; border: 0px solid black; margin-left: 0px; margin-top: 0px; */ top: 0px; background:#fff; padding-top: 0.25in; margin-left: 0px; padding-left: 0.1in; margin-right: 0.25in; } #mainleft { left: 0px; margin: 0px 8px 8px 8px; width: 112px; font-family: arial, sans-serif; font-size: 9pt; background:#F0F0F0; border: 2px white solid; float: left; } #maincenter { top: 0px; background:#fff; padding-top: 0.25in; margin-left: 136px; padding-left: 0.1in; margin-right: 0.25in; /* width: 640px; */ } #banner { margin: 2px 8px 2px 2px; /* padding-left: 4px ; padding-right: 4px ; padding-top: 0px ; padding-bottom: 4px ; */ background: url("/art/topImage.jpg") 0 0 no-repeat; /* width: 99%; */ height: 64px; border: 0px solid white; border-bottom: 0px solid beige; } #footer { width: 100%; height: 30px; padding: 0px; background: #F0F0F0; font-family: arial, sans-serif; font-size: 8pt; text-align: center; float: none; clear: both; } p,pre { margin:0px 10px 10px 10px; color:black; text-align:left; } ul { text-align: left; } ol { text-align: left; } /* * for centered tables. for more information, see : * http://www.granneman.com/webdev/coding/css/centerta/index */ table.center {margin-left:auto; margin-right:auto; text-align: center;} /* definitions for Heading fonts */ h1 { font-size:18pt text-align:left } h2 { font-size:14pt text-align:left } h3 { font-size:13pt text-align:left } h4 { font-size:12pt text-align:left } h5 { font-size:11pt text-align:left } /* stuff for the fancy table rows on the Vignettes page */ th.vg { background-color: khaki } /* stuff for software page(s): colors for supported/unsupported */ th.supported { background-color: #8F8 } tr.supported { background-color: #8F8 } tr.unsupported { background-color: #F88 } th.unsupported { background-color: #F66 } /* the following spans are for having colored text */ span.dateFooterBlue { font-family: arial, helvetica, sans-serif; font-size: 8pt; white; color:#00F} span.blue { color:#02F } span.red { color:#F00 } span.red { font-family: arial, helvetica, sans-serif; font-size: 10pt; background-color: white; color:#F00} span.teeny { font-family: arial, helvetica, sans-serif; font-size: 8pt; background-color: white; color:#000} /* stuff for varying font sizes */ p.eightpt {font-size:8pt;} p.sevenpt {font-size:7pt;} p.sixpt {font-size:6pt;}
% module load ferret
% ferret -gui
The default version if a 32 bit linux one. However the new version of ferret (6.01) has been compiled for IA64 and it's installed to test. It will become the default version shortly. You can run the newer version by loading:
% module load ferret/6.01
% ferret
|