/**
 ** Various Widgets
 */
.method-menu {
  font-size: x-small;
  border-top-width: 1px;
  border-top-style: solid;
  border-top-color: black;
}

.linkbar {
  background-color: lightgrey;
  border-width: 1px;
  border-style: solid solid solid solid;
  border-color: black;
  vertical-align: bottom;
}

.userbar {
  background-color: lightgrey;
  border-width: 1px;
  border-style: solid solid solid solid;
  border-color: black;
  font-size: large;
}

/**
 ** Legend
 */
.legend {
  border-style: solid;
  border-width: 1px;
}

/**
 ** Currently non-existant Calendar widget
 */
.calendar {
  border-style:     solid;
  border-width:     1px;
  border-color:     black;
  text-align:       center;
  background-color: lightgrey;
}

.calendar-title {
  font-weight: bold;
}

.calendar-today {
  background-color: white;
  font-weight:      bold;
}