diff --git a/src/l2l_scanner.l b/src/l2l_scanner.l
index 251b93b3685f683febbaec9b4b7a886cd42ab01d..d02479d7370525f4336ccf14dead9eded4cb5b78 100644 (file)
--- a/src/l2l_scanner.l
+++ b/src/l2l_scanner.l
l2l_sub = 1;
}
}
+
+ \[[0-9]+\] {
+ L2L_YY_APPEND_OR_ECHO(l2l_buf_ptr,
+ "{\\bfseries\\textcolor{DarkBlue}{%s}}", yytext);
+ }
}
\<[uU]> {
L2L_YY_APPEND_OR_ECHO(l2l_buf_ptr, "%s", yytext);
}
+(Abbildung|Listing)({WHITESPACE}|\n)+[0-9]+ {
+ L2L_YY_APPEND_OR_ECHO(l2l_buf_ptr, "\\textcolor{DarkBlue}{%s}", yytext);
+}
+
/*
* header
*/