/* navbar & bookmarks */
a.title:link,
a.title:visited {
  color: #715285;
  opacity: 1;
}
/* a.title:hover {
  color: #833ab3;
  font-size: larger;
} */
a.title:hover,
a.title:active {
  color: gray;
  /* font-size: larger; */
}