minor changes to default theme
minor changes and fixes to comment insertion