File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 152152
153153 white-space : nowrap;
154154
155- <<<<<<< codex/ reduce- header- height- for - better- ux- d99l1w
156155 flex : 1 1 auto;
157156
158157 min-width : 0 ;
164163 align-items : baseline;
165164 gap : 6px ;
166165 min-width : 0 ;
167- = = = = = = =
168- > > > > > > > dev
169166}
170167
171168
199196.header-status-badge {
200197 display : none;
201198 align-items : center;
202- <<<<<<< codex/ reduce- header- height- for - better- ux- d99l1w
203199 min-height : 18px ;
204200 padding : 1px 6px ;
205201 border : 1px solid var (--color-warning-muted );
211207 line-height : 1.2 ;
212208 white-space : nowrap;
213209 flex-shrink : 0 ;
214- = = = = = = =
215- min- height: 24px;
216- padding: 2px 8px;
217- bor der: 1px solid var(- - color - warning- muted);
218- bor der- radius: var(- - radius- pill);
219- color : var(- - color - warning);
220- background: color - mix(in srgb, var(- - color - warning- muted) 60%, transparent);
221- font- size: 11px;
222- font- weight: 500;
223- line-height: 1.2;
224- white-space: nowrap;
225- > > > > > > > dev
226210}
227211
228212body .read-only-mode .header-status-badge {
You can’t perform that action at this time.
0 commit comments