Fix an amusing problem with the MIT theme LESS

The theme was using a Unicode character that looks like a circle as a
bullet point.  There may be problems using regular expression substitution
on the LESS data when it includes Unicode characters.  So, change that to
a bullet point for now.