--- a/stylesheets/programming-guidelines.css	Thu Sep 07 16:46:51 2006 -0400
+++ b/stylesheets/programming-guidelines.css	Fri Sep 08 10:46:48 2006 -0400
@@ -31,7 +31,7 @@
 	padding: 0em;
 }
 
-/* Definidos por gtk-doc */
+/* Defined by gtk-doc */
 .synopsis, .classsynopsis {
 	background: #eeeeee;
 	border: solid 1px #aaaaaa;
@@ -81,3 +81,7 @@
 	/* border-style: hidden; */
 }
 
+.symbol {
+	font-family: monospace, courier;
+	font-style: oblique;
+}