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
|
Panels
*/
.grammalecte_panel {
padding: 0;
margin: 0;
position: fixed;
z-index: 100;
border: 10px solid hsl(210, 0%, 0%);
border-radius: 10px;
background-color: hsl(210, 20%, 100%);
color: hsl(210, 10%, 4%);
font-family: "Trebuchet MS", "Liberation Sans", sans-serif;
box-shadow: 0 0 4px 2px hsl(210, 0%, 50%);
}
.grammalecte_panel_bar {
position: sticky;
width: 100%;
background-color: hsl(210, 0%, 90%);
border-bottom: 1px solid hsl(210, 10%, 80%);
font-size: 20px;
}
.grammalecte_panel_title {
padding: 10px 20px;
}
.grammalecte_panel_label {
|
|
|
>
|
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
|
Panels
*/
.grammalecte_panel {
padding: 0;
margin: 0;
position: fixed;
z-index: 100;
border: 2px solid hsl(210, 0%, 50%);
border-radius: 10px 10px 10px 10px;
background-color: hsl(210, 20%, 100%);
color: hsl(210, 10%, 4%);
font-family: "Trebuchet MS", "Liberation Sans", sans-serif;
box-shadow: 0 0 4px 2px hsl(210, 0%, 50%);
}
.grammalecte_panel_bar {
position: sticky;
width: 100%;
background-color: hsl(210, 0%, 90%);
border-radius: 10px 10px 0 0;
border-bottom: 1px solid hsl(210, 10%, 80%);
font-size: 20px;
}
.grammalecte_panel_title {
padding: 10px 20px;
}
.grammalecte_panel_label {
|
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
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
|
}
.grammalecte_move_button:hover {
background-color: hsl(180, 100%, 60%);
}
.grammalecte_close_button {
display: inline-block;
padding: 2px 10px;
background-color: hsl(0, 80%, 50%);
font-size: 22px;
font-weight: bold;
color: hsl(210, 0%, 100%);
text-align: center;
cursor: pointer;
}
.grammalecte_close_button:hover {
background-color: hsl(0, 100%, 60%);
}
.grammalecte_panel_content {
height: calc(100% - 60px); /* panel height - title_bar */
overflow: auto;
}
/*
Lexicographer
*/
#grammalecte_lxg_panel_content {
padding: 5px;
font-size: 13px;
}
.grammalecte_lxg_list_of_tokens {
margin: 10px 0;
padding: 10px;
background-color: hsla(0, 0%, 96%, 1);
border-radius: 2px;
}
.grammalecte_lxg_list_of_tokens .num {
float: right;
margin: -12px 0 5px 10px;
|
>
|
|
|
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
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
|
}
.grammalecte_move_button:hover {
background-color: hsl(180, 100%, 60%);
}
.grammalecte_close_button {
display: inline-block;
padding: 2px 10px;
border-radius: 0 8px 0 0;
background-color: hsl(0, 80%, 50%);
font-size: 22px;
font-weight: bold;
color: hsl(210, 0%, 100%);
text-align: center;
cursor: pointer;
}
.grammalecte_close_button:hover {
background-color: hsl(0, 100%, 60%);
}
.grammalecte_panel_content {
height: calc(100% - 65px); /* panel height - title_bar */
overflow: auto;
}
/*
Lexicographer
*/
#grammalecte_lxg_panel_content {
padding: 5px;
font-size: 13px;
}
.grammalecte_lxg_list_of_tokens {
margin: 5px 0 10px 0;
padding: 10px;
background-color: hsla(0, 0%, 96%, 1);
border-radius: 2px;
}
.grammalecte_lxg_list_of_tokens .num {
float: right;
margin: -12px 0 5px 10px;
|