A series of notes on a language under development
Monday, July 5, 2010
Changed the Blog Theme
I changed the blog theme. The last blog was typeset in an Arial font and used happy orange colors, it is now Georgia/Times New Roman and a brownish palette.
Post a Comment
Post Comments (Atom)