Snail IDE Header Customization

Change the header color and logo on Snail IDE

За да инсталирате този скрипт, трябва да имате инсталирано разширение като Tampermonkey, Greasemonkey или Violentmonkey.

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

За да инсталирате този скрипт, трябва да имате инсталирано разширение като Tampermonkey или Violentmonkey.

За да инсталирате този скрипт, трябва да имате инсталирано разширение като Tampermonkey или Userscripts.

За да инсталирате скрипта, трябва да инсталирате разширение като Tampermonkey.

За да инсталирате този скрипт, трябва да имате инсталиран скриптов мениджър.

(Вече имам скриптов мениджър, искам да го инсталирам!)

За да инсталирате този стил, трябва да инсталирате разширение като Stylus.

За да инсталирате този стил, трябва да инсталирате разширение като Stylus.

За да инсталирате този стил, трябва да инсталирате разширение като Stylus.

За да инсталирате този стил, трябва да имате инсталиран мениджър на потребителски стилове.

За да инсталирате този стил, трябва да имате инсталиран мениджър на потребителски стилове.

За да инсталирате този стил, трябва да имате инсталиран мениджър на потребителски стилове.

(Вече имам инсталиран мениджър на стиловете, искам да го инсталирам!)

// ==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
    }
})();