diff options
| author | Zhiming Wang <zmwangx@gmail.com> | 2015-05-14 20:57:01 -0700 |
|---|---|---|
| committer | Zhiming Wang <zmwangx@gmail.com> | 2015-05-14 20:57:01 -0700 |
| commit | 862e27c9e40be18fb411193631828b101791943c (patch) | |
| tree | 6a6bee787c2a8b9342cf055515642f31b4252578 /source/blog/2014-11-28-given-infinite-time.md | |
| parent | b6d0d727c5be9a5180fb9baf9565fc1768c0ddfe (diff) | |
| download | my_new_personal_website-862e27c9e40be18fb411193631828b101791943c.tar.xz my_new_personal_website-862e27c9e40be18fb411193631828b101791943c.zip | |
add source code line numbers
The way I handle line numbers and the pre block in general is inspired
by the MDN wiki. See, for instance,
https://developer.mozilla.org/en-US/docs/Web/JavaScript/A_re-introduction_to_JavaScript
a screenshot is here: https://i.imgur.com/982TBDc.png
Also tweaked other styles, e.g., changed the primary monospace font to
Consolas, and slightly tweaked a few old posts.
Diffstat (limited to 'source/blog/2014-11-28-given-infinite-time.md')
0 files changed, 0 insertions, 0 deletions