body    { font-size: 10pt }
p   { font-size: 10pt }
td   { font-size: 10pt }
a { color: blue; text-decoration: none }
a:hover { text-decoration: underline }
.research { color: navy; font-size: 12pt }
.subtitle  { color: black; font-size: 12pt }
.req { color: red; font-size: 10pt }
.attention { color: red; font-weight: bold; font-size: 10pt }
.bigger { font-size: 12pt }
.menu_title { font-weight: bold; font-size: 10pt; background-color: #AAAAAA }
.menu_row  { font-size: 10pt; background-color: #DDDDDD }
.result { font-weight: bold; font-size: 14pt }
.strng { font-weight: bold; font-size: 11pt }
.conf { color: #6633cc; font-size: 10pt }

div.flash_message {
  margin: 15px 0 10px 0;
  padding: 6px 8px;
  background-color: #fff;
}

div.flash_notice {
  margin: 15px 0 10px 0;
  padding: 6px 8px;
  border: 1px solid #e11;
  background-color: #fff;
}

div.flash_notice h2 {
  font-size: 100%;
  margin: 0 0 5px 0;
  color: #e11;
}

div.flash_notice p {
  margin: 0 0 5px 0;
  padding: 0;
}

div.flash_notice ul {
  margin: 0 0 5px 0;
  padding-left: 30px;
}

div.flash_notice ul li {
  padding-left: 0;
}

a.destroy {
  text-decoration:underline; 
  color: gray;
  font-size: 8pt;
}
a.destroy:hover {color: red}
a.destroy:visited {color: gray}