diff options
| author | Zhiming Wang <zmwangx@gmail.com> | 2015-06-16 01:11:43 -0700 |
|---|---|---|
| committer | Zhiming Wang <zmwangx@gmail.com> | 2015-06-16 01:11:43 -0700 |
| commit | e851ce49f5db841855cd0f653dcb202a4ec7d11d (patch) | |
| tree | 1bbfd861af9282d4ab23dfdc8199e143754c73a7 /source/blog/2015-06-12-the-tip-of-the-iceberg.md | |
| parent | 0cc01b0bbe6282ae173e6fc1760c3f2d1995fd73 (diff) | |
| download | my_new_personal_website-e851ce49f5db841855cd0f653dcb202a4ec7d11d.tar.xz my_new_personal_website-e851ce49f5db841855cd0f653dcb202a4ec7d11d.zip | |
fix font issues: moving back to Droid Sans Mono for code
I just noticed that code font is crazy without Consolas installed (I
recently reinstalled my OS and got rid of Office for Mac 2011 — that's
probably why). The line numbers are all off (since the line heights are
carefully pre-calculated, and fallback fonts of different leadings won't
help). Therefore, I'm moving to the quite nice looking and controllable
Droid Sans Mono. Isn't as satisfactory as Consolas on the web, but
certainly better than Monaco.
Note: I originally copied my list Consolas, Monaco, 'Andale Mono',
monospace (I added Courier since I like it a lot as the primitive
monospace font) from MDN Wiki, but now it looks like a bad choice when I
don't have Consolas any more. By the way, MDN Wiki renders line numbers
using JS, so at least they are able to calculate the line heights. I'm
serving everything statically, so this is a problem.
Diffstat (limited to '')
| -rw-r--r-- | source/blog/2015-06-12-the-tip-of-the-iceberg.md | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/source/blog/2015-06-12-the-tip-of-the-iceberg.md b/source/blog/2015-06-12-the-tip-of-the-iceberg.md index bf4565f8..e5a747ab 100644 --- a/source/blog/2015-06-12-the-tip-of-the-iceberg.md +++ b/source/blog/2015-06-12-the-tip-of-the-iceberg.md @@ -7,6 +7,8 @@ date-display: June 12, 2015 *By the way, I'm not sure if I'm going to stand by this post when I wake up tomorrow morning. It will stay either way, though.* +--- + [^not-shaming]: In this case the campaign is too civilized to be called a shaming campaign. [^judge]: And I question if most shamers did. |