browser: convert mobile browsers in wikimedia stats

[sheet.git] / base.css

diff --git a/base.css b/base.css
index b053b1c3794ebe654a093b990ad58d6fc0852ab3..2a1a6fceae0f1aa47ae8f492929f3d379b07e775 100644 (file)
--- a/base.css
+++ b/base.css
@@ -554,6 +554,28 @@ ul.legend-set li {
        padding: 0 0.2em;
 }
 
+/* page-specific */
+
+#browser .aside {
+       font-size: 80%;
+       overflow: hidden;
+       height: 0;
+       -webkit-transition: all 1s ease-in;
+       -o-transition: all 1s ease-in;
+       -moz-transition: all 1s ease-in;
+       transition: height 1s ease-in;
+}
+#browser .aside p {
+       margin: 1ex 0;
+}
+#browser tr.target .aside,
+#browser tr:target .aside {
+       height: auto;
+}
+#browser td.X {
+       white-space: nowrap; /* some browsers break on dashes */
+}
+
 /* printing hints */
 
 @page {