Am 17.05.2008 um 19:32 schrieb Christian Böhringer: > Does anybody know if and how I could color those marks green and > red respectively? Have you looked at xcolor? -- Mit friedvollen Grüßen Pete There's no place like 127.0.0.1 – origin unknown