a
{
  color: rgb(8,33,147);
  text-decoration: none;
  font-weight: bold;
}

a:hover
{
  /* color: rgb(0,0,255); */
  text-decoration: underline;
}

body
{
  font-family: sans-serif;
}

div.content
{
  text-align: justify;
  width: 80ex;
  margin-left: auto;
  margin-right: auto;
}

div.content div.summary
{
  font-weight: bold;
}

div.content h2
{
  font-size: x-large;
  font-weight: bold;
  margin: .5ex 0 1ex 0;
}

div.content h3
{
  font-size: large;
  font-weight: bold;
  margin: 1ex 0 0 0;
  /* clear: both; */
}

div.content div.border
{
  border: 1px solid gray;
}

div.content div.background
{
  background-color: rgb(248,248,248);
}

div.content div.float
{
  float: right;
  /* width: 28ex; */
  padding: .5ex;
  margin: 0 0 1ex 1ex;
}

div.content div.float.left
{
  float: left;
  margin: 0 1ex 1ex 0;
}

div.content div.float ul
{
  margin: 0 0 0 0.5ex;
  padding: 0;
}

div.content div.float li
{
  list-style-position: inside;
}

/* footnores {{{ */
div.footnote
{
  font-size: smaller;
}

div.footnote + span
{
  font-weight: bold;
}

span.footnote_ptr
{
  font-size: smaller;
  font-weight: bold;
  vertical-align: super;
}

h1
{
  text-align: center;
}

img
{
  border: none;
}

span.reg
{
  vertical-align: super;
  font-size: smaller;
}

table
{
  margin: 1em auto;;
  border-collapse: collapse;
}

table.download td,
table.download th
{
  vertical-align: top;
}

table.invisible td,
table.invisible th
{
  border: none;
}

td, th
{
  border: 1px solid black;
  padding: .5ex;
}

th
{
  color: black;
  background-color: rgb(213,213,205);
}

ul.menu
{
  margin: 0 0 1em 0;
  padding: 1ex 0;
  background-color: rgb(213,213,205);
}

ul.menu li
{
  display: inline;
  margin: 0;
  padding: 0;
}

ul.menu a
{
  font-weight: normal;
  text-decoration: none;
  margin: 0;
  padding: 1ex;
  border-right: 1px solid gray;
  background-color: rgb(213,213,205);
  color: rgb(32,32,32);
}

ul.menu a:hover
{
  background-color: rgb(8,33,107);
  color: white;
}

ul.footer
{
  clear: both;
  text-align: center;
  margin: 1ex 0;
  padding: 1ex 0;
  border-top: solid 1px gray;
}

ul.footer li
{
  display: inline;
  margin: 0;
  padding: 0 1em;
  border-left: solid 1px gray;
}

ul.footer li:first-child
{
  border-left: none;
}

ul.news span.date
{
  font-style: italic;
}

ul.news span.title
{
  font-weight: bold;
}

ul.news span.detail
{
  display: block;
}

.left
{
  text-align: left;
}

.right
{
  text-align: right;
}

.error
{
  background-color: yellow;
  color: maroon;
  border: 2px dashed red;
  margin: 1em 0px 0.5ex 0px;
  padding: 1ex;
}

.success
{
  background-color: #d0ffd8;
  border: 2px solid #00d080;
  margin: 1em 0px 0.5ex 0px;
  padding: 1ex;
}

/* vim: set sw=2 sts=2 ts=8 : */