Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | rfooter icons: switch to Font Awesome | Zhiming Wang | 2015-08-08 | 1 | -0/+0 |
| | | | | Use web font to draw icons. | ||||
* | regen icon images | Zhiming Wang | 2015-07-25 | 1 | -0/+0 |
| | | | | icon.tex was modified in bbaf880. | ||||
* | create 200x200 icon, and use it on every page | Zhiming Wang | 2015-07-25 | 1 | -0/+0 |
400x400 is a waste, given that the size of the logo set by CSS is either 100x100 (wide) or 200x200 (narrow). |