.tkFragmentVerticalMenu {
  background-color: #e7e7e7;
  border-spacing: 0px;
  font-family: verdana, arial, helvetica, sans-serif;
  font-size: 7.5pt;
  width: 100%;
}
.tkFragmentVerticalMenu a {
  color: #000;
  text-decoration: none;
}
.tkFragmentVerticalMenu .parent,
.tkFragmentVerticalMenu .child,
.tkFragmentVerticalMenu .gchild {
  border: 1px solid #fff;
  color: #333;
  cursor: pointer;
}
.tkFragmentVerticalMenu .parent {
  background-color: #e6e6e6;
  border-left-width: 0px;
  font-weight: bold;
  padding: 0px;
}
.tkFragmentVerticalMenu .child {
  background-color: #f2f2f2;
}
.tkFragmentVerticalMenu .gchild {
  background-color: #f8f8f8;
}
.tkFragmentVerticalMenu .parent div {
  border-left: 5px solid #80a4d0;
  padding: 3px 0px 3px 7px;
}
.tkFragmentVerticalMenu .child div {
  margin-left: 5px;
  padding: 3px 0px 3px 7px;
}
.tkFragmentVerticalMenu .gchild div {
  margin-left: 5px;
  padding: 3px 0px 3px 18px;
}
.tkFragmentVerticalMenu .selected .parent div {
  border-left-color: #003465;
}
.tkFragmentVerticalMenu img.arrow {
  margin-left: 5px;
  vertical-align: middle;
}
.tkFragmentVerticalMenu .over .parent,
.tkFragmentVerticalMenu .over .child {
  background-color: #cde; /* TODO: */
}
.tkFragmentVerticalMenu .over a {
  text-decoration: underline;
}
.tkFragmentVerticalMenu .over a:hover {
  color: #000;
}