/* Common definitions */
.mark    { background-color: #A6CAF0; }
.bold    { font-weight: bold; }
.italic  { font-style: italic; }
.uline   { text-decoration: underline; }

.key     { outline:1px solid black; margin: 0; padding-left: .2em; padding-right: .2em;
           background-image: linear-gradient(#A0A0A0 0%, #808080 100%);
           background-color: #808080; color: white; }
.mouse   { border:.2em solid gray; margin: 0; padding: 1px; border-radius:.5em;
           background-image: linear-gradient(#C0C0C0 0%, #E0E0E0 100%);
           background-color: #C0C0C0; }

.box     { background-color: #A6CAF0; border: 1px solid darkblue; }
.left50  { float: left;  width: 50% }
.right50 { float: right; width: 50% }

/* Background */
.bgslide { background-color:#A6CAF0; font-size:2em; }

.hagen_error { background-color: red; }