Removes all of the dead space in element.io.
這裡只顯示彼此間有代碼差異的版本。 顯示所有版本。
Element added some useless fuckwittery on the side that I'm never going to use. Hiding it.
I insert the CSS in a position that would override all other CSS, but that only works when all other criteria controlling precedence are equal. Specifically, the browser prefers the style block with the most specific condition. Recently, element added a bunch of extra conditions to the style blocks that I override. So, in order for mine to be preferred, I had to add all of the same conditions to mine.
There was already a (well-hidden) setting to remove the right-most panel.
minor edit: some '\t's snuck in there somehow.
Minor typo. px -> 0px
Migrated away from the timer-based element-wise approach to an inline stylesheet override approach.Resized a few other space wasting atrocities.
土豆服务器,请按需使用
镜像地址随时可能被墙,建议加群获取最新地址
QingJ © 2025
镜像随时可能失效,请加Q群300939539或关注我们的公众号极客氢云获取最新地址