Some fairly minor changes to styling upon @jcasimir's request

/cc @jcasimir