-/* Watch expressions, variables and other instruments pane */
-
-#instruments-pane {
- min-width: 50px;
- -moz-margin-start: 0px !important;
- /* Unfortunately, transitions don't work properly with locale-aware properties,
- so both the left and right margins are set via js, while the start margin
- is always overridden here. */
-}
-
-#instruments-pane[animated] {
- transition: margin 0.25s ease-in-out;
-}
-