![Benno Schulenberg](/assets/img/avatar_default.png)
On most terminals "bold" also makes the relevant text lighter (or just makes it lighter, like on a Linux console). Only some terminals allow the user to switch this coupling of bold to light off. Suggested-by: Hussam al-Homsi <sawuare@gmail.com>
On most terminals "bold" also makes the relevant text lighter (or just makes it lighter, like on a Linux console). Only some terminals allow the user to switch this coupling of bold to light off. Suggested-by: Hussam al-Homsi <sawuare@gmail.com>