changed style of `<file>` slightly to help tell it apart from `<code>`

For Ingo from the LinuxHotel