Index: src/OFStdIOStream.m ================================================================== --- src/OFStdIOStream.m +++ src/OFStdIOStream.m @@ -571,11 +571,18 @@ textcolor(code); #else if ((code = colorToANSI(color)) == -1) return; +# ifdef OF_NINTENDO_3DS + if (code >= 90) + [self writeFormat: @"\033[1;%um", code - 60]; + else + [self writeFormat: @"\033[0;%um", code]; +# else [self writeFormat: @"\033[%um", code]; +# endif #endif } - (void)setBackgroundColor: (OFColor *)color {