<div dir="ltr"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"> <span style="background-color:rgb(248,248,248);color:rgb(29,28,29);font-family:Slack-Lato,appleLogo,sans-serif;font-size:15px;font-variant-ligatures:common-ligatures;white-space:pre-wrap">Wookey & I had a brief but intense talk about the website menu system & CSS in the pub last night. I'll write up a proper design plan proposal. It has more implications than you think so I feel it needs more input from a variety of users and maintainers.</span><br>
</blockquote><span class="gmail-c-mrkdwn__br" style="box-sizing:inherit;display:block;height:8px;color:rgb(29,28,29);font-family:Slack-Lato,appleLogo,sans-serif;font-size:15px;font-variant-ligatures:common-ligatures;white-space:pre-wrap;background-color:rgb(248,248,248)"></span><span style="color:rgb(29,28,29);font-family:Slack-Lato,appleLogo,sans-serif;font-size:15px;font-variant-ligatures:common-ligatures;white-space:pre-wrap;background-color:rgb(248,248,248)">So I'll write  something lengthy, and post a link here and on Slack.</span></div></div>