greasemonkey

The purpose of Greasemonkey is to manage user scripts. User scripts allow the user to control the way they use the web, by customizing it with scripting. The Greasemonkey extension won't do any good without any scripts installed.

https://wiki.greasespot.net/Tutorials
https://wiki.greasespot.net/Greasemonkey_Manual
Any file that ends in .user.js is a user script.

Remove nonio popup

remove_nonio_popup.user.js

   1 // ==UserScript==
   2 // @name         Remove Nonio Popup
   3 // @author       
   4 // @namespace    
   5 // @homepage     
   6 // @description  Remove nonio popup
   7 // @version      
   8 // @supportURL   
   9 // @match        https://*.aquelamaquina.pt/*
  10 // @match        https://*.xl.pt/*
  11 // @match        https://*.publico.pt/*
  12 // @match        https://*.sapo.pt/*
  13 // @match        https://*.blitz.pt/*
  14 // @match        https://*.visao.pt/*
  15 // @match        https://*.expressoemprego.pt/*
  16 // @match        https://*.cmjornal.pt/*
  17 // @match        https://*.record.pt/*
  18 // @match        https://*.jornaldenegocios.pt/*
  19 // @match        https://*.jn.pt/*
  20 // @match        https://*.dn.pt/*
  21 // @match        https://*.tsf.pt/*
  22 // @match        https://*.sabado.pt/*
  23 // @match        https://*.ojogo.pt/*
  24 // @match        https://*.dinheirovivo.pt/*
  25 // @match        https://*.iol.pt/*
  26 // @match        https://*.flash.pt/*
  27 // @match        https://*.vidas.pt/*
  28 // @match        https://*.maxima.pt/*
  29 // @grant        none
  30 // ==/UserScript==
  31 
  32 function applyStuff(){
  33   //console.log("Is ready");
  34   var stringified_style = JSON.stringify(document.getElementsByTagName("body")[0].style );
  35   
  36   //if( stringified_style != "{}"){
  37   if( true ){
  38     console.log("Applied stuff");
  39     console.log( stringified_style );
  40     var element = document.getElementsByTagName("iframe");
  41     var index;
  42 
  43     for (index = element.length - 1; index >= 0; index--) {
  44       element[index].parentNode.removeChild(element[index]);
  45     } 
  46     document.getElementsByTagName("body")[0].style="";
  47   }
  48 }
  49 
  50 // call each second
  51 window.setInterval( applyStuff , 2000);