div.mirrorinfo {
    all: unset;
    color: rgba(  0,   0, 128, 1.00);
    border: 2px solid rgba(  0,   0, 128, 1.00);
    position: fixed;
/*
    top: 0px;
*/
    bottom: 0px;
    right: 0px;
    background-color: rgba(255, 192, 192, 0.80);
    margin: 5px;
    padding: 10px 10px 15px 15px;
    text-align: right;
    font-weight:bold;
}
div.mirrorinfo div.mihead {
    all: unset;
    display: block;
    text-align: center;
}
div.mihead h3 {
    all: unset;
    color: rgba(255,   0,   0, 0.75);
    font-weight:bold;
    text-decoration:underline;
}