remove style for #opamdoc div.info