.highlight>div,.highlight>pre{background-color:#888!important}