Grazie. HariS!
Sì: ho trovato "Full White", che ho attivato, e però toglie anche i bordi superiori alle linguette delle schede e cambia lo stile dei tre bottoni di "riduzione ad icona, tutto schermo e chiusura". Per questo mi chiedevo se non ci fosse anche un altro sistema che lasciasse invariato tutto i resto, magari senza dover installare temi.