H3 { margin-bottom: 0.08in; }H3.cjk { font-family: "WenQuanYi Zen Hei Sharp"; }H3.ctl { font-family: "Lohit Devanagari"; }P { margin-bottom: 0.08in; }

“No Topleft Hot Corner” extension removes a GNOME 3 annoyance: it disables top left hot corners activating when trying to use File on a menu