--- /dev/null
+body
+{
+ font-size: 75%; /** 12px */
+}
+#header hr.h
+{
+ margin: .5em 0;
+}
+.content
+{
+ clear: both;
+}
+.marginal
+{
+ display: none;
+}
+#breadcrumb
+{
+ .droid;
+ color: @schrift;
+ font-weight: normal;
+}
+#breadcrumb strong.b
+{
+ font-weight: normal;
+}
+#breadcrumb ol.b li.b a.b,
+#breadcrumb ol.b li.b strong.b
+{
+ color: @schrift;
+ border-style: none;
+}
+#breadcrumb a.hide
+{
+ display: none;
+}
+#breadcrumb hr.b
+{
+ display: none;
+}
+#nav
+{
+ display: none;
+}
+#footerlinks li.f
+{
+ display: none;
+}
+#footerlinks li#copyright
+{
+ .droid;
+ font-size: 100%;
+ display: block;
+}