padding-left: 10px;
}
+/* ==========================================================================
+ "Search" popup div related styles
+ ========================================================================== */
+
+/* Search form message needs a little more width, depending on translations */
+#search-form {
+ width: 420px;
+}
+
.opacity03 {
/*opacity: 0.3;*/
}
text-indent: 0;
color: black;
width: 50px;
-}
\ No newline at end of file
+}
+
+pre code {
+ font-family: "Courier New", Courier, monospace;
+ border: 1px solid #ddd;
+ font-size: 0.96em;
+}