Christian G.: Fragen zum user.css bei Mozilla

Hallo, ich habe einige Fragen zur user.css.
Ich möchte alle Seiten im blocksatz angezeigt bekommen, allerdings bleiben

p
{
text-align:justify !important;
}

und  p {text-align:justify}

wirkungslos. Bug oder Feature?

Außerdem würde ich gern gewisse Schriften (MS Comic usw.) selektiv ersetzen, hat das schon mal jemand probiert und kennt die Notation?

Danke

Christian G.

  1. Hi,

    wirkungslos. Bug oder Feature?

    Wenn ich mich richtig erinnere (hab schon lange nichts mehr dran geändert), wurden Änderungen an der user.css erst nach dem Neustart (an Quickstart denken) wirksam.

    cu,
    Andreas

    --
    MudGuard? Siehe http://www.mud-guard.de/
  2. Hallo Christian,

    Hallo, ich habe einige Fragen zur user.css.

    Ich mag mich irren, aber hieß das Ding nicht mal userContent.css?

    Außerdem würde ich gern gewisse Schriften (MS Comic usw.) selektiv ersetzen,
    hat das schon mal jemand probiert und kennt die Notation?

    Um etwas selektiv zu ersetzen, bräuchtest Du Programmlogik. Dieses bietet
    CSS jedoch nicht. Genauer: Du kannst in CSS nicht so etwas ausdrücken:

    WENN font-family="MS Comic" DANN font-family="Arial"

    Alles, was Du machen kannst, ist bestimmten Abschnitten eine bestimmte
    Schriftart zuweisen. Dabei wird jedoch keine Rücksicht darauf genommen,
    welche Schriftart laut Seitenstylesheet dort wirksam war, Du überschreibst
    also alle anderen Schriftarten auch.

    Tim

    1. Hi
      Danke erstmal an alle für die prompte Antwort.

      Ich mag mich irren, aber hieß das Ding nicht mal userContent.css?

      Namen sind Schall & Rauch, bei mir heißt das Ding z.Z. userChrome.css, scheint mit dem Mozilla Theme zusammenzuhängen.

      Ich habe die css jetzt mal auf die schnelle mit Safari getestet, damit geht's. Ist also offenbar ein Mozilla Bug.

      Um etwas selektiv zu ersetzen, bräuchtest Du Programmlogik. Dieses bietet
      CSS jedoch nicht. Genauer: Du kannst in CSS nicht so etwas ausdrücken:

      Okay, dann muß ich wohl den Proxyserver aufschrauben.

      Gruß

      Christian

      1. Hallo Christian,

        Namen sind Schall & Rauch, bei mir heißt das Ding z.Z. userChrome.css,
        scheint mit dem Mozilla Theme zusammenzuhängen.

        Du hast mich missverstanden: Ich meinte schon den genauen Dateinamen. In
        diesem Fall wirklich userContent.css. userChrome.css ist nicht für die
        Änderungen in der Seite sondern am Benutzerinterface zuständig. Für
        Änderungen in der Seite, wie Du sie willst, ist userContent.css zuständig,
        siehe auch: http://www.mozilla.org/unix/customizing.html#usercss

        Tim

        1. Das war's, Danke Tim

          :)

  3. Hi,

    Außerdem würde ich gern gewisse Schriften (MS Comic usw.) selektiv ersetzen, hat das schon mal jemand probiert und kennt die Notation?

    geht leider nicht - aber: Du könntest die Schrift deinstallieren oder eine andere mittels entsprechenden Programmen umbenennen, sprich: Nehme Arial, bennenne sie in Comic Sans MS um und installier sie...

    E7