/* ========================== */
/*  PBE Anpassungen           */
/* ========================== */

div.hover {
background-color: #95B9C7;
color: highlighttext;
outline-width:3px;
outline-style:solid;
outline-color:#95B9C7;
}
div.pressed {
background-color: #95B9C7;
color: highlighttext;
outline-width:3px;
outline-style:solid;
outline-color:#95B9C7;
}