槽形天沟的分水线与沟壁顶面的高差应为（　），以防雨水出槽而导致渗漏。