+
+/* Default for branding section. The default doesn't claim to be very
+ * helpful. If you enabled branding on the site, you should abs-position
+ * the branding_div, and indeed probably replace it with a logo at the
+ * top of each page.
+ */
+div#branding_div {
+ width: 30%;
+ float: right;
+ font-size: 0.7em;
+}
+
+div#branding_div h2 {
+ border: none;
+ margin: 0px;
+ padding: 0px;
+}
+
+div#branding_div p {
+ margin: 0px;
+ padding: 0px;
+}
+
+div#branding_div p#brand_description {
+ display: none;
+}
\ No newline at end of file