Caution: style may fluctuatate

As you may be noticing, I am gradually moving to a new theme for the site.  I do not have a precise finished product in mind, but I am aiming for greater simplicity.  I am hoping to converge on something over the course of the coming week.

New version of the DejaVu Sans Mono package

I just finished fixing the bugs Brian noted in the previous version.  You can grab it using darcs get from http://free-the-mallocs.com/repos/dejavu-sans-mono.  This version also includes support for the oblique members of the family.  These are accessed using \textsl{...} rather than \textit{...}.  If you try it out, let me know if you have any problems.

Why I hate CSS

I was fiddling with the site's formatting yesterday, trying to better utilize available display space by using relative sizing for the sidebar and main column. Unfortunately, on larger displays (and still noticeable on smaller ones) there is this huge space on the left-hand side.

I have not been able to figure out what is causing it. I've tried adjusting the padding and margins on all of the relative <div> blocks and even tried using the Aardvark Firefox extension to figure it out. What it is probably going to take is to replace to fancy CSS styling of the <div> blocks with old-fashioned HTML tables.