Forum Debian Users Gang

A co powyższy post ma wspólnego z tematem wątku?

davidoski zamiast bardzo inwazyjnego i dość kłopotliwego UserJS lepiej wykorzystać wbudowany w Operę mechanizm stylów użytkownika:
1. Wejdź do katalogu ~/.opera/styles/user
2. Stwórz plik o dowolnej nazwie zakończonej .css
3. Wklej do niego zawartość:

@charset "utf-8";
/*      Name: MS Comic Sans */
body, html {
        background-color: #DCDCDC !important;
        font-family: 'Comic Sans MS' !important;
        color: red !important;
}

(W komentarzu musi być umieszczona nazwa, którą wyświetli Opera. Oczywiście powyższy styl jest raczej humorystyczny).
4. W Operze zrób: Opera → Wygląd → karta Przyciski → sekcja Widok strony → Przycisk „Tryb autorski” przeciągnij z okienka gdzieś na któryś z pasków Opery (gdzie Ci wygodnie — ja dodałem sobie przycisk „Widok”, który wyświetla nowy pasek, na którym umieściłem co bardziej przydatne, ale rzadko używane przyciski). Oczywiście potem kliknij „OK”.
5. Zrestartuj Operę
6. Przycisk, który dodałeś, ma z boku małą strzałkę. Po jej kliknięciu pojawia się lista stylów z katalogu z punktu 1. Każdy z nich możesz zaznaczyć i odznaczyć wedle woli, wpływając na wygląd otwartych stron.

Niestety wszelkie zmiany wprowadzone w plikach CSS są widoczne dopiero przy ponownym uruchomieniu Opery.

Inny sposób to wykorzystywanie arkuszy stylów przypisanych do stron.
Gdzieś na stronie kliknij prawy przycisk myszy → Preferencje dla witryny → karta Wyświetlanie → na dole możesz wybrać arkusz stylu dla tej konkretnej strony (chodzi raczej o domenę). Ten sposób ma tę zaletę, że wprowadzone zmiany są widoczne już po odświeżeniu strony (w najgorszym wypadku wystarczy wybrać inny arkusz stylu, zatwierdzić zmianę i znów wybrać początkowy).

Więcej informacji o arkuszach użytkownika w Operze można przeczytać tutaj i tutaj.

davidoski napisał(-a):

Nie mam takiego przycisku, źle patrzę czy chodziło Ci o "Tryb użytkownika"?

Na czystej Operze (nigdy wcześniej nie uruchamianej), na której sprawdzałem, to się nazywa „tryb autorski”. Najwyraźniej Ty w międzyczasie zmieniłeś to ustawienie Opery.
Niemniej tak, chodzi o ten przycisk. Po jego kliknięciu przełączasz się między trybem użytkownika a trybem autorskim.

Jeżeli chodzi o to okno:

W karcie „Wyświetlanie” (drugi screen u Ciebie) mam zaznaczone pierwsze trzy (czyli nie mam czwartego, „stosuj style do elementów formularzy”).
W karcie „Tryby wyświetlania strony” w trybie autorskim mam zaznaczone 1, 2, 3 i 5 zaś w trybie użytkownika — 2, 3 i 5 (chodzi o numery opcji od góry — nie chce mi się nazw przepisywać). Jako domyślny mam tryb autorski.

davidoski napisał(-a):

Opera ma jeszcze jakiś drugi katalog ze stylami CSS (/usr/share/opera/styles/user.css) i w tym właśnie wcześniej ustawiałem styl. Mam ustawić w tym okienku ścieżkę na ten folder, który Ty podałeś? Bo póki co to ten nowy styl, który zrobiłem wg Twojego przepisu pojawił mi się prawidłowo pod przyciskiem Tryb użytkownika, pomimo, że ściezka jest podana do innego folderu (tego pierwotnego) i nie wiem co z tym wcześniejszym plikiem user.css - nie będą się gryzły?

Musisz tam podać ścieżkę do pliku a nie katalogu.
/usr/share/opera/styles/ to globalny katalog ze stylami stron. ~/.opera/styles/user to katalog lokalny. Zasada jest taka sama jak we wszystkich innych aplikacjach — ustawienia lokalne nadpisują ustawienia globalne albo plik globalny jest czytany tylko wtedy, gdy nie jest dostępny plik lokalny (nigdy mi się nie chciało wnikać jak jest w tym konkretnym przypadku).
O ile dobrze pamiętam, plik, do którego ścieżkę podasz (u Ciebie /usr/.../user.css) jest wczytywany na każdej stronie. A przynajmniej u mnie tak jest, ale może to zależy od ustawień okna (opisanych wyżej).

davidoski napisał(-a):

EDIT: Ustawiłem tak - ścieżka do "Moich stylów CSS" wskazuje na folder /home/davidoski/.opera/styles/user/.
Do katalogu tego wrzuciłem podany przez Ciebie skrypt. Dodałem przycisk "Tryb użytkownika" - Twój styl się tam pojawił. Kiedy go wybiorę na ustawiony kolor zmienia się tylko niewielka część strony: reszta zostaje jak w Trybie Autorskim (ustawiłem żółty kolor, żeby było widać gdzie się zmienia).

Ponieważ mój przykładowy styl dotyczy tylko elementów html i body. Są to elementy dostępne na każdej stronie w sieci.
Możesz do tego zestawu dodać div, header czy jakiekolwiek inne elementy grupujące (w specyfikacji rozdziały „Sections” i „Grouping content”), ale to może nie być najlepszy pomysł. Dlatego polecałbym raczej tworzyć specyficzne arkusze stylów dla poszczególnych stron.

davidoski napisał(-a):

Czy ten kod ze skryptu Java można wkleić do stylu CSS?

Kod JavaScript. On nie ma z Javą nic wspólnego, może poza podobną nazwą.
Nie, nie można go wkleić. Możesz zdefiniować katalog skryptów użytkownika i tam go wrzucić, ale to zupełnie inna para kaloszy (wyszukiwarka zwróci co trzeba na hasło „User JavaScript Opera”).

davidoski napisał(-a):

Czy znasz prosty skrypt CSS, który zmieniałby tło całej strony, bez względu na zawartość?
(…)
Zasadniczo chodzi mi o możliwość zmiany białego tła na szare

Tylko to są dwa odmienne zadania.

Zamiana tła całej strony jak leci może zostać załatwiona przez:

* { background-color: #color !important ;}

Ale nie jest to najlepszy pomysł, gdyż wtedy cała strona będzie szara. Już lepiej zamiast gwiazdki wybrać określone elementy (wpisz w wyszukiwarkę „reset CSS” — znajdziesz odpowiednią listę), ale to nadal nie jest dobry pomysł.

CSS nie potrafi nadać określonych właściwości elementowi jeśli ma on już inne właściwości (tzn. potrafi, ale w bardzo ograniczonym zasięgu i akurat w tym kontekście nie potrafi). Mógłby to potrafić JavaScript. Np. poniższy kod powinien nadać szare tło wszystkim elementom o białym tle:

// ==UserScript==
// @name get rid of white
// @author Gall Anonim
// @version 0.1
// @include *
// ==/UserScript==

(function() {
        var myColor = '#dcdcdc'; // tutaj sobie wpiszesz jakiś kolor. Musi być w takim formacie
        document.addEventListener('DOMContentLoaded', function() {
                var all = document.getElementsByTagName("*");
                for (var i=0; i < all.length; i++) {
                        if(all[i].currentStyle.background.toLowerCase().indexOf('#ffffff') != -1)
                                all[i].style.backgroundColor = myColor;
                }
        }, false);
}) ();

Ale to nadal nie jest najlepsze rozwiązanie.

Generalnie problem sprowadza się do tego, że nie istnieje żaden dobry automatyczny sposób na oddzielenie elementów tła (którym należałoby zmienić kolor) od innych elementów, których kolor nie powinien być zmieniany.