-
Notifications
You must be signed in to change notification settings - Fork 20
Expand file tree
/
Copy pathrunme.css
More file actions
56 lines (55 loc) · 1.15 KB
/
runme.css
File metadata and controls
56 lines (55 loc) · 1.15 KB
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
.errmsg{color:red;}
.inlabel, .outlabel{
font-family:'Inconsolata',monospace;
min-width:3em;
text-align:right;
}
.incode{
font-family:'Inconsolata',monospace;
flex-grow:1;
border:solid lightgrey 1px;
padding:0.2ex;
background-color:whitesmoke;
white-space:pre-wrap;
}
.incode:focus{
background-color:white;
}
.output{
margin-bottom:1em;
}
.outtext{
margin-bottom:0;
font-family:'Inconsolata',monospace;
flex-grow:1;
border:0;
background-color:white;
white-space:pre-wrap;
word-wrap:break-word;
min-width:0; /* https://stackoverflow.com/questions/32035406/how-to-limit-pre-tag-width-inside-flex-container */
}
/* https://stackoverflow.com/questions/6040005/relatively-position-an-element-without-it-taking-up-space-in-document-flow -*/
.cellmenu{
float:right;
height:0;
}
.cellmenukid{
position:relative;right:0.5em;bottom:1.5em;
background-color:white;padding:2px;
border:1px solid lightgrey;border-radius:4px;
font-family:'Open Sans',sans-serif;
}
.topbutton{
padding-left:0.5em;
padding-right:0.5em;
color:dimgrey;
min-width: 1.5em;
display: inline-block;
border-radius: 5px;
text-align: center;
}
.topbutton:hover{
color:black;
background-color:whitesmoke;
cursor:pointer;
}