div.nicetitle {
    color: #000;
    padding: 5px;
    z-index: 1001;
    position: absolute;
    overflow: hidden;
    background: #eceff0;
    border: 1px solid #919293;
    -moz-box-shadow: 3px 3px 3px #888;
    -webkit-box-shadow: 3px 3px 3px #888;
    box-shadow: 3px 3px 3px #888;
}

div.nicetitle pre {
    text-align: left;
    font-size: 75%;
    font-family: Consolas,"Lucida Console", "DejaVu Sans Mono",monospace;
}
