Minor CSS tuning on @paulweichhart's annotorious-dark skin