Pale color for definition terms at docs.rtems.org

[Sebastian Huber]

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.