☰

element.io-width

Removes all of the dead space in element.io.

Versione datata 14/07/2021. Vedi la nuova versione l'ultima versione.

// ==UserScript==
// @name         element.io-width
// @version      0.7
// @description  Removes all of the dead space in element.io.
// @match        http://app.element.io/*
// @match        https://app.element.io/*
// @match        http://*.app.element.io/*
// @match        https://*.app.element.io/*
// @namespace    https://greasyfork.org/users/217495-eric-toombs
// @run-at       document-idle
// ==/UserScript==

style_tag = document.createElement('style');
style_tag.innerHTML = `
  .mx_EventTile_msgOption {
    width: 16px;
  }
  .mx_RoomView_MessageList {
    padding: 0px;
  }
  .mx_EventTile_content {
    margin-right: 0px;
  }
`;
document.getElementsByTagName('head')[0].append(style_tag);