Pale color for definition terms at docs.rtems.org

[Chris Johns]

On 7/8/20 5:27 pm, Sebastian Huber wrote:
> 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.

Yeah it does. Thanks for the push.

Chris