In the Export HTML5 with in5 dialog in the Basic tab, if you're exporting with the Page Format set to Continuous Scroll (Vertical), you'll get a border that increases the size of the GIF. Change the Page Format to Slider (Fade In), and it'll make the border go away so that you can record it using GIF Maker and retain the intended size.