From 072686dc8e8e7f4669bb7815d869099ea01d974f Mon Sep 17 00:00:00 2001 From: ruffdd Date: Mon, 7 Sep 2020 14:17:18 +0200 Subject: [PATCH] changed arrow to grey see Issue: #37 --- sheets/vorkurs.cls | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/sheets/vorkurs.cls b/sheets/vorkurs.cls index 3d9e0892..16fbe537 100644 --- a/sheets/vorkurs.cls +++ b/sheets/vorkurs.cls @@ -43,7 +43,7 @@ \definecolor{javagreen}{rgb}{0.25,0.5,0.35} % comments \definecolor{javapurple}{rgb}{0.5,0,0.35} % keywords \definecolor{javadocblue}{rgb}{0.25,0.35,0.75} - +\definecolor{unimportentgrey}{rgb}{0.6,0.6,0.6} %%%%%%%%%%%% % listings % %%%%%%%%%%%% @@ -71,7 +71,7 @@ showstringspaces=false, frame=single, breaklines=true, - postbreak=\mbox{{$\hookrightarrow$}\space} + postbreak=\mbox{\textcolor{unimportentgrey}{$\hookrightarrow$}\space} } %%%%%%%%%%%%%%