/*
 * CSS für verschiedene Buttons. Ist vor allem für die allgemeinen Buttons gedacht, welche mit 
 * PageButtonsAPI in der Page erzeugt wurde.
 */

.tab_kursfilter_del {
  display: none;
}

.tab_markiere, .tab_entferne_markierungen {
  cursor: pointer;
}
