some cosmetic changes .. compile highilght color is lighter and borders around hypothesis are gone