move local.css into style.css
authorGreg Price <price@mit.edu>
Wed, 11 Feb 2009 08:33:38 +0000 (03:33 -0500)
committerGreg Price <price@mit.edu>
Wed, 11 Feb 2009 08:33:38 +0000 (03:33 -0500)
commite8cb61edacd944d6c8aceb80f1b2938ad889b9c9
tree9f28d54712cb35c6c0eec863d8c3cc6ac5f6d3b4
parente358788df45401119c1521482fe1bf29fea3e762
move local.css into style.css

There might be a coherent distinction to be had here,
but we don't have it.
local.css [deleted file]
style.css