Font change for Korean version.
+ Added .DS_Store to .gitignore.
Font change on Headings.
Revert "Font change on Headings."

This reverts commit a683e7bac1e542249b339ae3b0234f4563804d1b.
Merge remote-tracking branch 'upstream/gh-pages' into gh-pages
Merge pull request #47 from RDFox/gh-pages

Revision on Korean document.