Pale color for definition terms at docs.rtems.org

Sebastian Huber sebastian.huber at embedded-brains.de
Fri Aug 7 07:27:44 UTC 2020


On 07/08/2020 08:44, Chris Johns wrote:

> On 7/8/20 4:38 pm, Sebastian Huber wrote:
>> On 07/08/2020 08:20, Chris Johns wrote:
>>
>>> --8<---
>>>
>>>> -    color: #11111111;
>>> --8<---
>>>
>>> Please remove only this line and lets see what happens.
>> This change seems to fix the issue:
> Could you please push this?
I pushed it and it looks good now on docs.rtems.org.


More information about the devel mailing list