color : Gray;
}
+.single-line {
+ white-space: nowrap;
+}
+
.ex {
font-family : "Courier New", Courier, fixed-width;
font-weight : bold;
border : 1px inset #999999;
}
+ul li input.submit {
+ font-size : 87%;
+ padding : 2px;
+}
+
.searchhighlightblob {
font-size:75%;
font-style : italic;