Release DUB 0.9.25, new logo and updated website design

[Jacob Carlborg via Digitalmars-d-announce]

On 2016-05-23 12:38, qznc wrote:

> Mixing fonts is hard. Both fonts must have the same size, but also the
> same x-height [0], which is the height of lowercase letters like x. This
> can be seen very clearly with inline code like "contain a
> <code>dub.json</code>" at the page you linked to. Zoom in (Ctrl+) and
> you see the height difference between "a" and "u".
>
> On websites where fonts are picked from whatever is available on the
> system, this is nearly impossible to get right. You either live with it
> or embed your own fonts via CSS, which bloats the page.
>
> [0] https://en.wikipedia.org/wiki/X-height

A start is to use the same font size ;)

-- 
/Jacob Carlborg