chiark / gitweb /
fairphone-case: introduce and adjust lid_screen_gap_extra (from mk2 v3)