forked from edemaine/cp-editor
-
Notifications
You must be signed in to change notification settings - Fork 0
/
cpedit.styl
107 lines (87 loc) · 1.45 KB
/
cpedit.styl
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
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
// Side-by-side layout of menu and GUI
body
display: flex
margin: 0px
height: 100vh
#menu
max-width: 50%
flex: 0
display: flex
flex-direction: column
min-width: min-content
overflow-x: hidden
overflow-y: auto
background: black
color: white
a:link
color: white
a:hover
color: yellow
hr
width: 100%
#interface
flex: 1
.input, .multinput
font-size: large
input
font-size: large
white-space: nowrap
padding: 5px 10px 5px 5px
.input
padding: 2px 0px
.gap
min-width: 5px
flex: 0
&:hover
color: yellow
background: gray
label, span
display: block
flex: 1
input[type='button'], td button
width: 100%
input[type='text']
width: 5em
flex: 1
table
color: inherit
font: inherit
td
padding: 0
.input, .row
display: flex
align-items: center
.clickable, .clickable button, .clickable input, .clickable label, .input button
cursor: pointer
.number
text-align: center
// Drawing style
svg
width: 100%
height: 100%
line
stroke-linecap: round
.grid line
stroke: #dddddd
stroke-width: 0.05
.crease line, .drag line
stroke-width: 0.1
&.B // boundary
stroke: black
&.M // mountain
stroke: red
&.V // valley
stroke: blue
&.U // unfolded
stroke: gray
&.C // cut
stroke: green
&.drag
stroke: purple
stroke-width: 0.25
.drag circle
fill: purple
.vertex circle.drag
fill: purple
stroke: purple
stroke-width: 0.1