-
-
Notifications
You must be signed in to change notification settings - Fork 3.1k
/
lineForm.ts
82 lines (71 loc) · 1.95 KB
/
lineForm.ts
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
// Copyright (c) Jupyter Development Team.
// Distributed under the terms of the Modified BSD License.
import { style } from 'typestyle/lib';
import { NestedCSSProperties } from 'typestyle/lib/types';
export const hoverItem = style({
boxShadow: '0px 4px 4px rgba(0, 0, 0, 0.25)'
});
export const lineFormSearch = style({
padding: '4px 12px',
backgroundColor: 'var(--jp-layout-color2)',
boxShadow: 'var(--jp-toolbar-box-shadow)',
zIndex: 2,
fontSize: 'var(--jp-ui-font-size1)'
});
export const lineFormCaption = style({
fontSize: 'var(--jp-ui-font-size0)',
lineHeight: 'var(--jp-ui-font-size1)',
marginTop: '4px',
color: 'var(--jp-ui-font-color0)'
});
export const baseLineForm: NestedCSSProperties = {
border: 'none',
borderRadius: '0px',
position: 'absolute',
backgroundSize: '16px',
backgroundRepeat: 'no-repeat',
backgroundPosition: 'center',
outline: 'none',
top: '0px',
right: '0px'
};
export const lineFormButtonDiv = style(baseLineForm, {
top: '4px',
right: '8px',
height: '24px',
padding: '0px 12px',
width: '12px'
});
export const lineFormButtonIcon = style(baseLineForm, {
backgroundColor: 'var(--jp-brand-color1)',
height: '100%',
width: '100%',
boxSizing: 'border-box',
padding: '4px 6px'
});
export const lineFormButton = style(baseLineForm, {
backgroundColor: 'transparent',
height: '100%',
width: '100%',
boxSizing: 'border-box'
});
export const lineFormWrapper = style({
overflow: 'hidden',
padding: '0px 8px',
border: '1px solid var(--jp-border-color0)',
backgroundColor: 'var(--jp-input-active-background)',
height: '22px'
});
export const lineFormWrapperFocusWithin = style({
border: 'var(--jp-border-width) solid var(--md-blue-500)',
boxShadow: 'inset 0 0 4px var(--md-blue-300)'
});
export const lineFormInput = style({
background: 'transparent',
width: '200px',
height: '100%',
border: 'none',
outline: 'none',
color: 'var(--jp-ui-font-color0)',
lineHeight: '28px'
});