@ -612,14 +612,17 @@ iframe.hidden {
#TOC_icon:hover {
color: fuchsia;
cursor:pointer;
filter: invert(1);
}
#clock_icon:hover {
#resources_icon:hover {
.link_05:hover {