JS-Dateien für Rückwärtskompatibilität unter alten Namen zugänglich gemacht

[website] / src / main / webapp / less / tiny / layout.less

diff --git a/src/main/webapp/less/tiny/layout.less b/src/main/webapp/less/tiny/layout.less
index ede7f87..dcef10c 100644 (file)
--- a/src/main/webapp/less/tiny/layout.less
+++ b/src/main/webapp/less/tiny/layout.less
@@ -2,8 +2,30 @@ body
 {
   font-size: 75%; /** 12px */
 }
-.marginal
+#header
 {
+  margin: .25em .5em 1em 1em;
+}
+#nav:target
+{
+  padding-left: 0.5em;
+  padding-right: 0.5em;
+}
+#breadcrumb,
+#nav:target > a.hide
+{
+  top: .5em;
+  right: .5em;
+}
+.content > .main,
+#footer
+{
+  margin: 0;
+  padding: 0 .5em;
+}
+.content > .marginal
+{
+  padding: 1em .5em 999em .5em;
   margin-bottom: -991em;
 }
 
@@ -12,22 +34,21 @@ body
   #header
   {
     font-size: 75%;
-    margin: 0 .5em 0 1em;
   }
-  .content > .marginal
+  #nav:target
   {
-    padding: 1em .5em 999em .5em;
+    padding-top: 0;
   }
-  .content > .main,
-  #footer
+  #breadcrumb,
+  #nav:target > a.hide
   {
-    margin: 0;
-    padding: 0 .5em;
+    top: .1em;
+    right: .3em;
   }
-  #breadcrumb
+  #breadcrumb > a.hide:before,
+  #nav:target > a.hide:before
   {
-    top: .3em;
-    right: .3em;
+    font-size: 300%; /** Vielfaches von 12px */
   }
 }
 @media (max-width: 150px)
@@ -44,4 +65,14 @@ body
   {
     display: none;
   }
+  #breadcrumb,
+  #nav:target > a.hide
+  {
+    top: .2em;
+  }
+  #breadcrumb > a.hide:before,
+  #nav:target > a.hide:before
+  {
+    font-size: 264%; /** Vielfaches von 12px */
+  }
 }