--margin-top only set the margin to the source code body text, but file path is still at the fixed margin on top.
I would expect --margin-top to set general page margin before anything, including file path
And then we can have another --margin-path option to set margin between file path and content body
--margin-toponly set the margin to the source code body text, but file path is still at the fixed margin on top.I would expect
--margin-topto set general page margin before anything, including file pathAnd then we can have another
--margin-pathoption to set margin between file path and content body