/* main style sheet of LabWeb site*/

body {  font-family: Arial, Helvetica, sans-serif; margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; border-style: none}

/* link menu */
.global_headline {  font-size: 40px; line-height: 45px; font-weight: bolder; text-decoration: none; text-align: center; padding-top: 5px; padding-bottom: 15px}
.mnu_cells {  font-size: 14px; color: #000099; text-decoration: none; text-align: center; vertical-align: middle; border-color: #000000 black black; border-style: solid; border-top-width: 2px; border-right-width: 0px; border-bottom-width: 2px; border-left-width: 0px; padding-top: 5px; padding-bottom: 5px; font-weight: bold}

/* page headline/contents */
.page_headline {  font-size: 30px; line-height: 40px; font-weight: bold; text-align: left; padding-top: 8px; padding-right: 8px; padding-left: 150px; vertical-align: middle}
.page_contents {  padding-right: 50px; padding-left: 50px}

/* link properties */
a:link {  color: #0000FF; text-decoration: none}
a:visited {  color: #0000FF; text-decoration: none}
a:active {  color: #FF0000; text-decoration: none}
a:hover {  color: #FF0000; text-decoration: underline overline}

/* paragraphs */
p {  font-size: 17px; line-height: 25px; text-align: justify}
p.left {  text-align: left}li {  font-size: 17px; line-height: 25px; text-align: justify}
.long {  margin-right: 100px}

/* font properties; used for image descriptions */
.smaller {  font-size: 12px}
.smallest {  font-size: 10px}

/* list properties */
li.seperated {  font-size: 17px; line-height: 21px; text-align: justify; margin-bottom: 10px}.img_frame {  margin-top: 8px; margin-left: 12px}

/* table properties */
td.centered {text-align: center; vertical-align: middle}

/* common headlines */
h1 {  font-size: 35px; line-height: 40px; font-weight: bold; padding-top: 3px; padding-bottom: 10px}
h2 {  font-size: 28px; line-height: 32px; font-weight: bold; padding-bottom: 5px}
h3 {  font-size: 23px; line-height: 25px; font-weight: bold; padding-bottom: 5px}
h4 {  font-size: 19px; line-height: 23px; font-weight: bolder; padding-bottom: 3px}

/* used in people.html only */
.people_cell {  vertical-align: top; padding-top: 10px; padding-right: 10px; padding-left: 30px}

/* used in alumni.html table only */
/* 1st and 3rd column */ td.alumni {padding-right: 5px; padding-left: 5px; padding-bottom: 8px; border-color: black black #000000; padding-top: 8px; border-style: dotted; border-top-width: 0px; border-right-width: 0px; border-bottom-width: 0px; border-left-width: 0px; vertical-align: top; font-size: 15px; font-weight: bold; color: #0000FF}
td.alumni_headline {margin-bottom: 2px; border: 0px black double; padding-top: 3px; padding-bottom: 3px; font-size: 20px; font-weight: bolder; color: #000000; text-align: center}td {  vertical-align: top}
.alumni_frame {  border: 1px #000000 solid}
/* 2nd and 4th column */ .alumni2 {  padding-top: 8px; padding-right: 5px; padding-bottom: 8px; padding-left: 5px; vertical-align: top; font-size: 15px; font-weight: bold; color: #FF0000}
.line_header {  border: #000000 none; text-align: center; vertical-align: middle; padding-top: 2px; padding-right: 2px; padding-bottom: 2px; padding-left: 2px; border-width: 2px 2px 2px 1px; font-size: 20px; font-style: 20; font-weight: bolder; color: #D700D7}