#calendar_nav .year_and_month {
  background-color: #CDD3DC
}

#calendar_nav .days_of_week {
  border-bottom: 1px solid #CDD3DC;
  border-top: 1px solid #CDD3DC
}

#calendar_nav .calendar {
  background-color: white;
  border: 2px solid #CDD3DC
}

#calendar_nav .calendar td {
  border: 1px solid #CDD3DC;
  color: black;
  padding: 2px;
  text-align: right
}

#calendar_nav .calendar td.work_day:hover {
  cursor: pointer
}

#calendar_nav .calendar td.vacation:hover {
  cursor: auto
}

#calendar_nav td.highlight {
  color: white !important;
  background-color: blue !important
}

#calendar_nav .divider {
  width: 1em
}


/*** flagged days ***/

#calendar_nav .calendar .today {
  color: red
}

#calendar_nav .calendar .work_day {
  background-color: rgb(92%, 92%, 92%)
}

#calendar_nav .calendar .vacation {
  background-color: plum
}

#calendar_nav .instructions {
  font-size: smaller;
  font-style: italic;
  font-weight: bold;
  padding-top: 0.25em;
  text-align: center
}