<?xml version="1.0" encoding="UTF-8"?><!-- generator="wordpress/2.3.3" -->
<rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	>
<channel>
	<title>Comments on: GUADEC sightseeing</title>
	<link>http://blogs.gnome.org/uraeus/2005/12/12/guadec-sightseeing/</link>
	<description>Just another GNOME Blogs weblog</description>
	<pubDate>Fri, 29 Aug 2008 19:46:32 +0000</pubDate>
	<generator>http://wordpress.org/?v=2.3.3</generator>
		<item>
		<title>By: Giacomo</title>
		<link>http://blogs.gnome.org/uraeus/2005/12/12/guadec-sightseeing/#comment-133</link>
		<dc:creator>Giacomo</dc:creator>
		<pubDate>Tue, 30 Nov 1999 00:00:00 +0000</pubDate>
		<guid>http://blogs.gnome.org/uraeus/2005/12/12/guadec-sightseeing/#comment-133</guid>
		<description>yeah, I noticed some change in font size as well, both in the web contents and in the user interface&lt;p/&gt;you can manually adjust the interface fonts by editing ${YOUR_PROFILE_DIR}/chrome/userChrome.css, there is an example file named userChrome-example.css&lt;p/&gt;for example, I added:&lt;p/&gt;  * {&lt;br/&gt;    font-size: 11pt !important&lt;br/&gt;  }&lt;br/&gt;</description>
		<content:encoded><![CDATA[<p>yeah, I noticed some change in font size as well, both in the web contents and in the user interface
<p />you can manually adjust the interface fonts by editing ${YOUR_PROFILE_DIR}/chrome/userChrome.css, there is an example file named userChrome-example.css
<p />for example, I added:
<p />  * {<br />    font-size: 11pt !important<br />  }</p>
]]></content:encoded>
	</item>
</channel>
</rss>
