/* common */

@import url(w3c.css);

DIV.item
{
  font-size: 110%;
}

DIV.subitem
{
  font-size:   85%;
  text-indent: 10px;
}

.italic     { font-style:   italic; }
.bold       { font-weight:  bold; }
.smallcaps  { font-variant: small-caps; }
.x-large    { font-size:    x-large; }
.large      { font-size:    large; }
.larger     { font-size:    larger; }
.smaller    { font-size:    smaller; }
.title-main { font-size:    150%; }
.title-cap  { font-size:    130%; }

.blue   { background-color: inherit; color: blue; }
.green  { background-color: inherit; color: green; }
.red    { background-color: inherit; color: red; }
.yellow { background-color: inherit; color: yellow; }

.full-width
{
  width: 100%;
}

.no-decoration
{
  text-decoration: none;
}

.list-info-visible
{
  display: block;
}

.list-info
{
  position:     fixed;
  display:      none;
  text-indent:  0px;
  text-decoration: none;
  margin:       0px;
  padding:      6px;
  top:          auto;
  z-index:      10;
  font-size:    small;
  overflow:     hidden;
}