Category talk:Type theory

I have got one suggestion for your site. It apaeprs like right now there are a few cascading stylesheet troubles when launching a selection of web pages within google chrome as well as opera. It is working fine in internet explorer. Probably you can double check this.