TABLE.frames {
  border-collapse:
  border: 2px solid gray;
}

TABLE.frames > TBODY > TR > TD {
  border-bottom: solid 2px gray;
  border-right: solid 2px gray;
}

TABLE.frames > TBODY > TR {
  background-color: #d0d0e0;
}

.frame-header {
  height: 100;
}

.frame-menu {
  width: 12em;
  vertical-align: top;
  padding-top: 5px;
}

.frame-main {
  padding: 5px;
}

.menu a {
  text-decoration: none;
  color: #000080;
  font-size: 1.2em;
  font-family: serif;
  font-weight: bold;
}

TD.menu {
  white-space: nowrap;
}

UL.menu {
  padding-left: 2em;
}

table.pager {
  border: gray solid thin;
  border-collapse: collapse;
  padding: 5px;
}

tr.pager {
  background-color: lightblue;
}

table.pager th {
  border: gray solid thin;
  padding: 5px;
}

tr.selected td {
  background-color: white;
}

table.pager td {
  border: gray solid thin;
  padding: 3px;
  font-size: 0.8em;
}

.filecontent {
  border: gray solid thin;
  background-color: #dddddd;
  font-size: 0.8em;
  min-height: 10px;
}