/* Cascading Style Sheet (CSS) used in XHTML documents written by Sabin Corneliu Buraga - busaco@infoiasi.ro last update: 17 March 2003 (modified for International Symposium on Parallel and Distributed Computing 2003 Website) */ body { font-family: Arial, Helvetica, sans-serif; font-size: 11pt; color: black; background: white; margin: 0.2em; } h1, h2, h3 { font-family: Tahoma, Verdana, Syntax, sans-serif; font-weight: 800; } h2, h3 { color: #663300; } h2 { margin-top: 0.2em; margin-bottom: 0.2em; } h4 { margin: 0.5em; padding: 0.2em; width: 100%; border-bottom: solid thin darkred 1px; } h6 { font-size: 7pt; } th, td, tr { /* NS 4+ */ font-family: Arial, Helvetica, sans-serif; } a { font-family: Arial, Helvetica, sans-serif; font-weight: bold; text-decoration: underline; } @media screen { /* hide from IE 3, NS 3 etc. */ a:hover { text-decoration: none; color: black; } p { line-height: 1.2; } } @media aural { h1, h2, h3 { stress: 20; richness: 90; } pre { speak-punctuation: code; } } ul { /* ignored by NS */ list-style-type: disc; list-style-image: url("imgs/point-blue.gif"); } ul li { /* ignored by NS */ list-style-type: disc; /* list-style-image: url("imgs/point-blue.gif"); */ } p { font-family: Arial, Helvetica, sans-serif; font-size: 11pt; margin-top: 0.6em; margin-bottom: 0.6em; } sup, sub { font-size: 75%; } hr { color: #663300; } .sponsors { letter-spacing: 0.2em; font-size: 9pt; color: darkred; font-weight: 800; } .details { margin-top: -0.3em; font-size: 8pt; color: #663300; } .links { color: white; font-size: 9pt; font-family: Arial, Helvetica, sans-serif; text-decoration: none; } .links2 { color: #663300; font-size: 8pt; font-family: Arial, Helvetica, sans-serif; text-decoration: none; } .gray { font-size: 26pt; color: rgb(180, 200, 220); } a:hover.links { color: white; text-decoration: overline underline; } a:visited.links { color: #CCCCCC; } a:hover.links2 { color: black; text-decoration: none; } .small { font-size: 8pt; }