/* Hover fades, moved out of onmouseover/onmouseout attributes by tools/copy.py */
.fade-100-60 { opacity: 1; }
.fade-100-60:hover { opacity: 0.6; }
.fade-100-80 { opacity: 1; }
.fade-100-80:hover { opacity: 0.8; }
.fade-30-100 { opacity: 0.3; }
.fade-30-100:hover { opacity: 1; }