On 21.12.2015 15:13, Andrei Alexandrescu wrote:
What are the changes to the tooling used and the build process?
Uh, none? I'm not sure if I understand the question. It's just DDoc,
CSS, etc, as usual.
Is there a reasonable decay if javascript is disabled?
I guess, we'd set up dedicated pages as alternatives for the drop-down
menus. They could be copies of the little overview snippets from the
home page, or just lists of links.
Can we defer any changes to the logo so we don't get sidetracked in
this? Just scale the existing logo to fit and defer any changes to it to
later.
Fine with me.
Does that mean you are principally on board with this, save for details
like the logo?
