/* documentation */
.dvDocUI {display:none;position:absolute;}
header:hover .dvDocUI {display:block;background-color:rgba(125, 0, 0, 0.05);}