+.text {
+ margin: 1em 0;
+ text-align: left;
+}
+
+/* inline decorations *******************************************************/
+
+.icon32 {
+ border: 0;
+ width: 32px;
+ height: 32px;
+}
+
+.rule {
+ border: 0;
+ height: 4px;
+ width: 100%;
+}
+
+.w3c {
+ margin: 0 0.5em;
+ border: 0;
+ width: 88px;
+ height: 32px; /* this should be 31px */
+}
+
+/* terms ********************************************************************/
+