leonardo.corsettigmail.com / Google Translate Toolkit

// ==UserScript==
// @name         Google Translate Toolkit
// @namespace    http://tampermonkey.net/
// @version      0.1
// @description  Aumenta la dimensione dei caratteri nel Google Translate Toolkit.
// @author       You
// @match        https://translate.google.com/toolkit/*
// @grant        none
// ==/UserScript==

(function() {
    'use strict';
    
    
    //funzione utile all'inserimento di uno stile CSS nella pagina
    function addGlobalStyle(css) {
        var head, style;
        head = document.getElementsByTagName('head')[0];
        if (!head) { return; }
        style = document.createElement('style');
        style.type = 'text/css';
        style.innerHTML = css;
        head.appendChild(style);
    }
    
    //Modifica del CSS
    //Il toolkit per le traduzioni è poco pratico se utilizzato con schermi piccoli. Il codice che segue
    //aumenta le dimensioni dei caratteri del testo.
    
    
    
    //La prima riga modifica le dimensioni del testo normale, la seconda le dimensioni del testo evidenziato.
    addGlobalStyle('.goog-gtc-unit {font-size: 140%!important;}');
    addGlobalStyle('.goog-gtc-translatable.goog-gtc-unit-highlight {font-size: 110%!important; }');
    
    
    //Le righe seguenti modificano le dimensioni del testo nella finestra di editing e della finestra stessa.
    //Essendo la finestra visibile in due modaità sono necessarie due modifiche.
    
    var dimensioniTestoEditor = "180%";
    
    //inline-text
    addGlobalStyle('.gtc-trans-inline-text {font-size: ' + dimensioniTestoEditor + '!important; }');
    addGlobalStyle('.gtc-trans-inline-cont  {width: 98%}');
    addGlobalStyle('.gtc-rich-inputarea.gtc-trans-inline-text {width: 98%; max-width: 1000px;}');
    
    
    //overlay-text
    addGlobalStyle('.gtc-trans-overlay-text {font-size: ' + dimensioniTestoEditor + '!important;}');
    addGlobalStyle('.gtc-trans-overlay-container {width: 80%}');
    addGlobalStyle('.gtc-rich-inputarea.gtc-trans-overlay-text {width: 100%}');
    
    



    // Your code here...
})();