Bridging mit VirtualBox und Gentoo 2007.0

VirtualBox (in meinem Fall Version 1.6.2) ist eine nette Virtualisierungslösung, die einem z.B. im Notfall Windows XP auf dem KDE zugänglich macht.

Das Problem: möchte man einen Serverdienst auf Windows laufen lassen, der aus dem Netz des Hostes mittels einer definierten IP-Adresse nutzbar ist, hat man ohne Eingriffe auf Linux-Seite keine (einfache) Möglichkeit. Bridging mit VirtualBox und Gentoo 2007.0 weiterlesen

Menüschriftart von Firefox ändern

Wenn man den Firefox in seiner „Rohform“ unter Linux, bei mir eben Gentoo, installiert, kann es sein, dass die Menüschriftart etwas klobig ist oder der falsche Font benutzt wird. Doch dieser ist, wie fast alle optischen Aspekte der Programme aus dem Hause der Mozilla Foundation, relativ einfach änderbar:

– Datei home/<user>/.mozilla/firefox/<randomNumber>
/chrome/userChrome.css öffnen oder erstellen

– Eintrag „* { font-size:10pt !important; font-family: arial, helvetica !important; }“

einfügen, er verkleinert man z.B. die Menüschriftart auf ein etwas erträglicheres Maß. CSS sein dank.