TreeTabsMigration/theme/theme_tabs_margin_2.css
karol@jagiello.it 195f0fa4ff bump to 1.6
2018-05-22 02:11:29 +02:00

28 lines
616 B
CSS

body {
/* TABS */
--margin_tab_top: 1px;
--margin_tab_bottom: 0px;
--margin_tab_left: 1px;
--margin_tab_right: 1px;
/* drag_enter top, bottom */
--tab_drag_entered_top: -1px;
--tab_drag_entered_bottom: -1px;
/* PINS */
--pin_margin_left: 1px;
--pin_last_margin_right: 1px;
--pin_margin_bottom: 1px;
/* drag_enter left, right */
--pin_drag_entered_top_left: -1px;
--pin_drag_entered_bottom_right: -1px;
/* PIN LIST */
--pin_list_padding_top: 1px;
--pin_list_padding_bottom: 0px;
--pin_list_padding_left: 0px;
--group_folders_top: -1px;
--group_tabs_top: -1px;
}