fixed some styling bugs on windows and probably other platforms