Documentation Improvement Initiative

[Paolo Invernizzi]

On Wednesday, 19 February 2020 at 11:15:33 UTC, Les De Ridder 
wrote:
> On Tuesday, 18 February 2020 at 20:50:19 UTC, H. S. Teoh wrote:
>> On Tue, Feb 18, 2020 at 07:08:56PM +0000, Adam D. Ruppe via 
>> Digitalmars-d wrote:
>>> [...]
>>
>> Maybe we should *replace* the current docs with dpldocs... 
>> Make dpldocs the official doc system. Throw out the current 
>> half-baked stuff...
>>
>>
>> T
>
> I frankly much prefer the current docs over dpldocs. While 
> dpldocs
> might be technically superior, the UI is quite bad, it looks 
> cold and
> cluttered to me. A large part of this can probably be fixed 
> through CSS
> changes, though.

+1 ...