/* =========== Base element definitions for , ,
, etc. =========== */
td
{
color: #32455A; /* For IE because IE sucks */
vertical-align: top;
font-family: Arial, "Tahoma", sans-serif; /* For IE because IE sucks */
font-size: 10pt; /* For IE because IE sucks */
}
p, h1, h2, h3
{
color: #32455A;
font-family: Arial, "Tahoma", sans-serif;
text-align: left;
}
hr
{
margin-left: 10px;
margin-right: 10px;
border-style: solid;
color: #C0C0C0;
border-width: 1px 0 0 0;
}
div
{
color: #32455A;
font-family: Arial, "Tahoma", sans-serif;
font-size: 10pt;
}
ul, ol
{
color: #32455A;
font-family: Arial, "Tahoma", sans-serif;
font-size: 10pt;
}
li
{
margin-left: 30px;
margin-right: 30px;
margin-top: 5px;
}
/* =========== GENERICS - Generic CSS stuff for alignment to left, right, center, etc. =========== */
.right
{
text-align: right;
margin-right: 5px;
}
.left
{
text-align: left !important;
margin-left: 5px;
}
.error, .warning /* Should be used to warn/notify a user about something important */
{
color: red;
}
.ok, .success
{
color: #339933;
}
.highlight
{
background-color: #fffde5;
border: 1px solid #c3c3c3;
padding: 5px;
margin-bottom: 5px;
}
.error_box
{
color: red;
width: 300px;
background-color: #ab3b3d;
border: 1px solid #ff0000;
}
.warning_box
{
}
.bold
{
font-weight: bold;
}
.italic
{
font-style: italic;
}
.underline
{
text-decoration: underline;
}
.light
{
color: #939393 !important;
}
.center
{
text-align: center !important;
}
.reset
{
font-weight: normal;
}
.small
{
font-size: 8pt;
}
.smaller
{
font-size: 5pt;
}
.tall
{
line-height: 22px;
}
.indent
{
margin-left: 45px;
}
.double_indent
{
text-align: left;
margin-left: 60px;
}
.float_right
{
float: right;
margin: 5px;
}
.float_left
{
float: left;
margin: 5px;
}
.no_decoration
{
text-decoration: none;
}
.list_ordered_a
{
list-style-type: lower-alpha;
}
.list_ordered_1
{
list-style-type: decimal;
}
/* =========== p.main - Main p class for plain vanilla text on pages ============ */
p.main
{
margin-left: 25px;
margin-right: 25px;
text-align: justify;
}
/* =========== Advertisement box (indicates clearly this is an advertisement, not part of job ad) ============ */
.advertisement
{
border: 1px solid #afafaf;
padding: 4px;
}
.advertisement div
{
margin-top: 3px;
font-size: 8pt;
color: #afafaf;
}
/* =========== Form labels for all forms on the website ============ */
.form
{
width: 100%;
/*width: 550px;*/
}
.result
{
width: 100%;
}
.form_label, label
{
text-align: right;
padding-right: 5px;
font-weight: bold;
}
/* =========== HEADINGS/SUBHEADINGS ========== */
h2, .subhead
{
font-size: 11pt;
font-weight: bold;
text-align: center;
}
h3, .lefthead
{
font-size: 11pt;
font-weight: bold;
margin-left: 20px;
padding: 0px;
}
h1, .barheader, .barhead
{
background-image: url('/layout/key_32x24.png');
background-repeat: no-repeat;
border-bottom: 1px solid #32455A;
/*color: gray;*/
color: #32455A;
font-weight: bold;
font-size: 11pt;
margin: 10px;
margin-top: 0px;
padding-top: 7px;
padding-left: 40px;
}
/* =========== HTML tags ============ */
input.text_long
{
width: 275px;
}
input.text_regular
{
width: 200px;
}
input.button_regular
{
width: 130px;
}
/* Formatting for tabular data */
.row_light td, .row_dark td, .row_light_hover td, .row_dark_hover td
{
padding: 4px;
}
.row_light
{
background-color: #efefef;
}
.row_dark
{
background-color: #e6e6e6;
}
.row_dark_hover, .row_light_hover
{
background-color: #d1d1d1;
}
/* ============= this stuff is for job descriptions ============= */