+findbar {
+ border-top: 3px solid #000000;
+ border-bottom: none;
+ min-width: 1px;
+}
+
+findbar[position="top"] {
+ border-top: none;
+ border-bottom: 3px solid #000000;
+ transition-property: margin-top, opacity, visibility;
+}
+
+findbar[hidden] {
+ /* Override display:none to make the transition work. */
+ display: -moz-box;
+ visibility: collapse;
+ margin-bottom: -1em;
+ opacity: 0;
+ transition-delay: 0s, 0s, 150ms;
+}
+
+findbar[position="top"][hidden] {
+ margin-bottom: auto;
+ margin-top: -1em;
+}
+