/* progysm */
#progysmlinks { padding:1px 0 1px 8px; line-height: 24px; font-size:14px; font-family: Verdana,Tahoma,sans-serif; }
#progysmlinks, #progysmlinks a { background: black; color: #ddd; }
#progysmlinks a { text-decoration:none; margin-right: 1em; padding:0px 4px; }
#progysmlinks a:hover { background: #800; }
#progysmlinks a.selected { border-top: 3px solid #800; color: white; }