/* Style for displaying HTML from the SuMo HTTP server */

/* default parameters */
body {
  color : black;
  background-color : white;
  font-family: verdana, helvetica, sans-serif;
  font-size: 11px;
  margin-top : 0px;
  margin-left : 0px;
  margin-right : 0px;
  margin-bottom : 0px;
  padding-bottom : 0px;
  padding-left : 0px;
  padding-right : 0px;
}

:link {
  color : rgb(50,50,255);
}

:visited {
  color : black;
}

form, input {
  font-family: verdana, helvetica, sans-serif;
  font-size: 11px;
}


p, ul, ol {
  display : block;
  font-family : verdana, helvetica, sans-serif;
  text-align : justify;
}

p {
  padding-left : 1.5cm;
  padding-right : 1.5cm;
}

td, th {
  font-size : 11px;
  font-family : verdana, helvetica, sans-serif;
}

li {
  font-size : 11px;
}

ul, ol {
  font-size : 11px;
  margin-left : 2cm;
  margin-right : 1.5cm;
  padding-left : 0.5cm;
  padding-right : 0.5cm;
}

.compact {
  margin-top : 0px;
  padding-top : 0px;
  margin-bottom : 0px;
  padding-bottom : 0px;
}


h1 {
  color : red;
  background-color : white;
  font-family : verdana, helvetica, sans-serif;
  font-size : 30px;
  font-weight : bold;
  text-align : center;
  margin-bottom : 0px;
  margin-left : 0px;
  padding-left : 0.1cm;
  padding-right : 0.1cm;
}

h1 :link, h1 :visited {
  color : red;
}

h2 {
  color : rgb(85,0,0);
  background-color : white;
  font-family : verdana, helvetica, sans-serif;
  font-size : 20px;
  font-weight : bold;
  margin-top : 0px;
  margin-bottom : 0px;
  padding-left : 0.4cm;
  padding-right : 0.4cm;
}

h2 :link, h2:visited {
  color : rgb(85,0,0);
}

h2.subtitle {
  color : red;
  background-color : white;
  font-family : verdana, helvetica, sans-serif;
  font-size : 20px;
  font-weight : bold;
  padding-top : 0.2cm;
  padding-bottom : 0px;
  padding-left : 0px;
  padding-right : 0px;
  margin-top : 0px;
  margin-bottom : 0px;
}

h3 {
  color : black;
  font-family : verdana, helvetica, sans-serif;
  font-size : 16px;
  font-weight : bold;
  padding-left : 0.1cm;
  padding-right : 0.1cm;
}

table.steps : {
  cellpadding-bottom : 0px;
  cellpadding-top : 0px;
}

font.past_step, font.future_step, font.current_step, p.banner {
  font-family : verdana, helvetica, sans-serif;
  font-size : 10px;
  padding-left : 0px;
  padding-right : 0px;
  padding-top : 0px;
  padding-bottom : 0px;
}

font.current_step {
  font-weight : bold;
  color : red;
}

font.past_step {
  color : green;
}

font.future_step {
  color : black;
}

.banner_link {
  background-color : white;
  color : red;
  text-decoration : underline;
  size : 16px;
}


p.banner {
  text-align : left;
  margin-bottom : 0px;
  padding-bottom : 0px;
}

p.version {
  margin-left : 0px;
  padding-bottom : 0px;
  border-bottom : 0px;
  margin-top : 0px;
  padding-top : 0px;
  border-top : 0px;
}

p.status-succeeded, p.status-failed, p.status-running, p.status-waiting {
  margin-left : 0px;
  margin-right : 0px;
  margin-top : 1px;
  margin-bottom : 0px;
  padding-left : 2cm;
  padding-right : 2cm;
}

p.status-succeeded {
  background-color : rgb(100,255,100);
}

p.status-failed {
  background-color : rgb(255,100,100);
}

p.status-running {
  background-color : rgb(255,255,100);
}

p.status-waiting {
  background-color : rgb(100,100,255);
}

p.trailer {
  text-align : center;
  font-size : 10px;
  color : brown;
  background-color : white;
  margin-top : 7mm;
  margin-left : 0px;
  margin-right : 0px;
  margin-bottom : 0px;
  padding-top : 2mm;
  padding-bottom : 1mm;
  padding-left : 0.25cm;
  padding-right : 0.25cm;
}

p.trailer :link { 
  color: brown;
}
p.trailer :visited {
  color: brown;
}

p.version {
  text-align : center;
  font-weight : bold;
}

.red {
  color : red;
}

.asterisk {
  font-size : 12px;
  color: red; 
  text-decoration: none; 
}

pre {
  font-size : 11px;
}

p.cite_our_publication {
  font-size : 10px;
  font-style : italic;
  color : brown;
  text-align : center;
}
p.cite_our_publication :link { 
  color: brown;
}
p.cite_our_publication :visited {
  color: brown;
}