Das Problem ist, wenn du "misc.php" hinzufügen willst, muss "misc.php" auch auf dem Server sein, Greasemonkey kann ja schlecht dein kompletten PC nach der Datei absuchen. Aber denke, dass weißt du auch so schon.

Ansonsten einfach ganz normal 'n Button einfügen und dann die CSS gegebenermaßen ändern