File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 1313 <div class =" nav-bar" >
1414 <div >
1515 <button id =" run-btn" >run notebook ► ; </button >
16- <button id =" snippet-btn" class =" secondary- btn mr-1" >import code</button >
16+ <button id =" snippet-btn" class =" btn-secondary mr-1" >import code</button >
1717 </div >
18- <div class =" header" >RustPython 🐍 😱 🤘</div >
19- <div ><a href =" https://github.com/RustPython/" >github</a ></div >
18+ <div class =" header item-center " >RustPython 🐍 😱 🤘</div >
19+ <div class = " text-right " ><a href =" https://github.com/RustPython/" >github</a ></div >
2020 </div >
2121
2222 <!-- user interface elements for importing code -->
23- <div id =" url-container" class =" d-none" >
24- <div ><label for =" url" >public url: (uses github api file url for now) </label ></div >
23+ <div id =" url-container" class =" d-none p-1 bg-light " >
24+ <div ><label for =" url" >public url:</label ></div >
2525 <div >
2626 <input type =" url" name =" url" id =" snippet-url" >
27- </div >
28- <div >
29- <button id =" fetch-code" class =" secondary-btn" >fetch</button >
27+ <button id =" fetch-code" class =" btn-secondary" >fetch</button >
3028 </div >
3129 </div >
3230
3937
4038 <!-- errors and keyboard shortcuts -->
4139 <div class =" split-view" >
42- <div >
43- <mark >errors</ mark >
40+ <div class = " mt-1 " >
41+ <div class = " header " >Error(s):</ div >
4442 <div id =" error" ></div >
4543 </div >
46- <div class =" text-small mt-1" >
47- <mark >Keyboard Shortcuts:</mark >
44+ <div class =" mt-1" >
45+ <div class = " header " >Keyboard Shortcuts:</div >
4846 <div >
4947 <div >Run code: 'Ctrl-Enter' or 'Cmd-Enter'</div >
5048 <div >Decrease Indent: 'Shift-Tab' </div >
Original file line number Diff line number Diff line change 1+ body {
2+ font-family : 'Fira Sans' , sans-serif;
3+ }
4+
15.header {
2- font-family : 'Sen' , sans-serif;
3- ;
6+ font-family : 'Sen' , sans-serif;;
47}
58
69.d-flex {
1922 margin-top : 1rem ;
2023}
2124
22- .text-small {
23- font-size : 0.75rem ;
25+ .p-1 {
26+ padding : 1rem ;
27+ }
28+
29+ .bg-light {
30+ background-color : # f7f7f9 ;
2431}
2532
2633mark {
2734 background-color : # 000 ;
2835 color : # fff ;
29- font-size : 0.75rem ;
3036}
3137
3238.nav-bar {
3339 border-bottom : 2px solid # F74C00 ;
3440 display : flex;
35- justify-content : space-between;
3641 position : sticky;
3742 top : 0px ;
3843 background-color : # fff ;
39- height : 20px ;
4044 z-index : 99 ;
4145}
4246
47+ .nav-bar div {
48+ width : 300px ;
49+ }
50+
51+ .item-center {
52+ flex-grow : 1 ;
53+ text-align : center;
54+ }
55+
56+ .text-right {
57+ text-align : right;
58+ }
59+
4360.split-view {
4461 display : flex;
4562 justify-content : space-between;
@@ -55,18 +72,23 @@ mark {
5572
5673# console {
5774 padding : 1rem ;
75+ font-family : monospace;
76+ font-size : 1.1rem ;
5877}
5978
6079.CodeMirror {
61- height : 90 % !important ;
62- border-right : 1 px solid gray ;
80+ height : 100 % !important ;
81+ border-right : 4 px solid # f7f7f9 ;
6382}
6483
6584# run-btn ,
66- .secondary- btn {
85+ .btn-secondary {
6786 border : 0px ;
6887 color : white;
6988 cursor : pointer;
89+ font-size : 1rem ;
90+ height : 25px ;
91+ vertical-align : middle;
7092}
7193
7294# run-btn {
@@ -78,26 +100,20 @@ input[type="url"] {
78100 border-radius : 0px ;
79101 width : 55% ;
80102 margin : 5px 0px 5px 0px ;
81- font-size : 0.7 rem ;
103+ font-size : 0.9 rem ;
82104 padding : 4px ;
83105 font-family : monospace;
84106}
85107
86108.url-container {
87109 padding : 10px ;
88110 background-color : white;
89- font-size : smaller;
90111}
91112
92- .secondary- btn {
113+ .btn-secondary {
93114 background-color : # 000 ;
94115}
95116
96- .secondary-btn .active ,
97- .secondary-btn : hover {
98- background-color : # F74C00 ;
99- }
100-
101117# error {
102118 color : tomato;
103119 margin-top : 10px ;
You can’t perform that action at this time.
0 commit comments