HomePhabricator

Fix font family and size for wikitext input

Authored by Esanders on Sep 7 2016, 10:22 PM.

Description

Fix font family and size for wikitext input

Soft dependency on I5f0433e9cae for the font family to work.

Change-Id: I071df746b49a7c2fbc0ef715a9ca765dfbdbb049

Details

Committed
EsandersSep 7 2016, 10:25 PM
Parents
rEFLW5bf7057a1a01: Drop and re-create the index
Branches
Unknown
Tags
Unknown
References
refs/changes/92/309192/1
ChangeId
I071df746b49a7c2fbc0ef715a9ca765dfbdbb049