Snail IDE Header Customization

Change the header color and logo on Snail IDE

K instalaci tototo skriptu si budete muset nainstalovat rozšíření jako Tampermonkey, Greasemonkey nebo Violentmonkey.

You will need to install an extension such as Tampermonkey to install this script.

K instalaci tohoto skriptu si budete muset nainstalovat rozšíření jako Tampermonkey nebo Violentmonkey.

K instalaci tohoto skriptu si budete muset nainstalovat rozšíření jako Tampermonkey nebo Userscripts.

You will need to install an extension such as Tampermonkey to install this script.

K instalaci tohoto skriptu si budete muset nainstalovat manažer uživatelských skriptů.

(Už mám manažer uživatelských skriptů, nechte mě ho nainstalovat!)

You will need to install an extension such as Stylus to install this style.

You will need to install an extension such as Stylus to install this style.

You will need to install an extension such as Stylus to install this style.

You will need to install a user style manager extension to install this style.

You will need to install a user style manager extension to install this style.

You will need to install a user style manager extension to install this style.

(Už mám manažer uživatelských stylů, nechte mě ho nainstalovat!)

// ==UserScript==
// @name         Snail IDE Header Customization
// @namespace    http://tampermonkey.net/
// @version      1.1
// @description  Change the header color and logo on Snail IDE
// @author       You
// @match        https://www.snail-ide.com/*
// @grant        none
// ==/UserScript==

(function() {
    'use strict';

    // Change header color
    const header = document.querySelector('header');
    if (header) {
        header.style.backgroundColor = '#4E97FE';
    }

    // Replace logo with new image
    const logo = document.querySelector('header img'); // Adjust the selector if needed
    if (logo) {
        logo.src = 'https://upload.wikimedia.org/wikipedia/commons/b/b1/Scratch_S.svg';
        logo.style.width = 'auto';  // Adjust the size if necessary
        logo.style.height = '50px'; // Adjust the height if necessary
    }
})();