/* Michael J. Connor Style sheet for Publications on DTPC Website */

BODY { background-image: url('../images/bgpub.gif'); background-color: white; 
       margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 71px; 
       color: #000000; font-family: "Times New Roman", Times, serif}

UL { text-align: left; font-family: "Times New Roman", Times, serif }

OL { text-align: left; font-family: "Times New Roman", Times, serif }

SMALL { font-size: 10pt; font-family: "Times New Roman", Times, serif }

BIG { font-size: 16pt; font-family: "Times New Roman", Times, serif }

SUP { font-size: 8pt; font-family: "Times New Roman", Times, serif }

a:link { color: #800000; text-decoration: underline; font-family: Arial, Helvetica, sans-serif }

a:active { color: #800000; text-decoration: underline; font-family: Arial, Helvetica, sans-serif }

a:visited { color: #800000; text-decoration: none; font-family: Arial, Helvetica, sans-serif }

a:hover { color: #000000; text-decoration: underline; font-family: arial, helvetica, sans-serif; }

a.nav:link  {color: white; font-size: 8pt; text-decoration: none}

a.nav:visited  {color: white; font-size: 8pt; text-decoration: none}

a.nav:active  {color: white; font-size: 8pt; text-decoration: underline}

a.nav:hover {color: white; font-size: 8pt; text-decoration: underline}

.ariel { font-size: 22pt; color: white; background: #800000; font-family: Arial, Helvetica, sans-serif }

.foot { text-align: justify; font-size: 10pt; font-family: "Times New Roman", Times, serif }

.indent { text-indent: 2em; font-family: "Times New Roman", Times, serif }

.just { text-align: justify; font-family: "Times New Roman", Times, serif }

.left { text-align: left; font-family: "Times New Roman", Times, serif }

.lit { margin-left: 2em; text-indent: -2em; text-align: justify; font-size: 10pt; font-family: "Times New Roman", Times, serif }

.table { font-size: 10pt; font-family: "Times New Roman", Times, serif }

.text { font-size: 12pt; font-family: "Times New Roman", Times, serif }

.times { font-family: "Times New Roman", Times, serif }

HR { height: 0px; border: solid #800000 0px; border-top-width: 1px; }