/* styles for infocenter overview page */

/* horizontal line after Studiensemester in dataset table header */
hr.studiensemesterline
{
   margin: 6px 6px;
}