修剪草坪后用铁铲对草坪进行切边时，一般要向下斜切，切入深度一般为（）厘米，以切断草根，使界线明显。