js类似,用选择器找到你要控制的元素,操作该元素的font-size这条属性
例如:
<p id="text">123</p>
$('#text').css("font-size","12px")
这行jquery就是把id为text的p标签的字体大小改为12px
工具:
eclipse
方法:
window -->Preference
在出现的新窗体中选择General-->Appearance-->Colors and Fonts,在窗体的右侧选择Basic-->TextFonts,再点击Edit就可以进入到修改页面修改了