tiahchia commited on
Commit
1c07e28
·
verified ·
1 Parent(s): 7bde864

Update app.py

Browse files
Files changed (1) hide show
  1. app.py +11 -14
app.py CHANGED
@@ -53,7 +53,6 @@ body {
53
  background: linear-gradient(to bottom, #0a0a23, #00001a);
54
  position: relative;
55
  }
56
-
57
  .gradio-container {
58
  max-width:1900px;
59
  margin:auto;
@@ -61,44 +60,42 @@ body {
61
  position: relative;
62
  z-index:1;
63
  }
64
-
65
  .gr-row {
66
  display:flex;
67
  gap:20px;
68
  margin-top:20px;
 
69
  }
70
-
71
- /* Equal width editor/output */
72
- #editor-container {
73
- flex:0.5;
74
- min-width:900px; /* adjust to preference */
75
- }
76
- #output-panel {
77
  flex:0.5;
78
  min-width:650px;
 
 
79
  }
80
-
81
  .output-panel {
82
  background:#1e1e1e;
83
  border-radius:8px;
84
  box-shadow:0 4px 8px rgba(0,0,0,0.5);
85
- height:600px;
86
  padding:16px;
87
  font-family: monospace;
88
  color: #00ff00;
89
  white-space: pre-wrap;
90
  overflow:auto;
91
  }
92
-
93
  #editor-container .CodeMirror {
94
- height:600px;
 
 
 
 
95
  border-radius:8px;
96
  font-family: monospace;
97
  font-size:14px;
98
  white-space: pre-wrap;
99
  overflow-wrap: break-word;
100
  }
101
-
102
  .gr-radio { color:#e0e0e0; margin-bottom:16px; }
103
  button, .gr-button { background-color:#F714C5 !important; color:#fff !important; border-radius:6px !important; padding:10px 20px !important; }
104
  footer { display:none !important; }
 
53
  background: linear-gradient(to bottom, #0a0a23, #00001a);
54
  position: relative;
55
  }
 
56
  .gradio-container {
57
  max-width:1900px;
58
  margin:auto;
 
60
  position: relative;
61
  z-index:1;
62
  }
 
63
  .gr-row {
64
  display:flex;
65
  gap:20px;
66
  margin-top:20px;
67
+ overflow:auto;
68
  }
69
+ /* Equal width editor/output, fixed sizes to prevent resize glitch */
70
+ #editor-container, #output-panel {
 
 
 
 
 
71
  flex:0.5;
72
  min-width:650px;
73
+ max-width:50%;
74
+ height:650px;
75
  }
 
76
  .output-panel {
77
  background:#1e1e1e;
78
  border-radius:8px;
79
  box-shadow:0 4px 8px rgba(0,0,0,0.5);
80
+ height:650px;
81
  padding:16px;
82
  font-family: monospace;
83
  color: #00ff00;
84
  white-space: pre-wrap;
85
  overflow:auto;
86
  }
 
87
  #editor-container .CodeMirror {
88
+ height:650px !important;
89
+ min-height:650px !important;
90
+ max-height:650px !important;
91
+ padding:12px !important;
92
+ box-sizing:border-box;
93
  border-radius:8px;
94
  font-family: monospace;
95
  font-size:14px;
96
  white-space: pre-wrap;
97
  overflow-wrap: break-word;
98
  }
 
99
  .gr-radio { color:#e0e0e0; margin-bottom:16px; }
100
  button, .gr-button { background-color:#F714C5 !important; color:#fff !important; border-radius:6px !important; padding:10px 20px !important; }
101
  footer { display:none !important; }