Finally! I got the Red Portal theme worked out. I did it in small increments over the past two weeks, and last night I couldn’t sleep so I worked until sometime early (2am). This morning however I figured out how to fix the small IE7 problem, and voila, it’s done.
Anyway I wrote about the Red Portal theme on The English Guy, download link etc.,