Style change for the articles in EFFECTIVE-ATS series

[gmhwxi]

Please visit:

http://ats-lang.sourceforge.net/EXAMPLE/EFFECTIVATS/

Kudos to Sami Zeinelabdin, who provided the new CSS.

Cheers,

–Hongwei