element.io-width

Removes all of the dead space in element.io.

Pada tanggal 14 Juli 2021. Lihat %(latest_version_link).

Ini adalah versi dari skrip ini yang kodenya telah diperbarui. Tampilkan semua versi.

  • v0.9 27 September 2021

    Element added some useless fuckwittery on the side that I'm never going to use. Hiding it.

  • v0.8 05 Agustus 2021

    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.

  • v0.7 14 Juli 2021

    There was already a (well-hidden) setting to remove the right-most panel.

  • v0.6 14 Juli 2021

    minor edit: some '\t's snuck in there somehow.

  • v0.5 14 Juli 2021

    Minor typo. px -> 0px

  • v0.4 14 Juli 2021

    Migrated away from the timer-based element-wise approach to an inline stylesheet override approach.

    Resized a few other space wasting atrocities.

  • v0.3 13 Juli 2021