button.kartei:hover {background-color: #e1e1e1;}

button.kartei {
	background-color:#f1f1f1;
	border:1px solid white;
	padding:4 5;
}

table.mask {
    display: flex;
    flex-flow: column;
    height: 100%;
    width: 100%;
	border-spacing: 0 0;
    }
table.mask thead {
    /* head takes the height it requires, 
    and it's not scaled when table is resized */
    flex: 0 0 auto;
	display: block;
	width: calc(100% - 1.1em);
}
table.mask tbody {
    /* body takes all the remaining available space */
    flex: 1 1 auto;
    display: block;
    overflow-y: scroll;
	overflow-x: hidden;
}
table.mask tbody tr{
    width: 100%;
}
table.mask thead {
    display: table;
    table-layout: fixed;

}
table.mask tbody tr {
    display: table;
    table-layout: fixed;
}