css fix for double pre