-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathpscweb.css
112 lines (98 loc) · 1.83 KB
/
pscweb.css
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
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
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
body {
font-family: sans-serif;
background-color: rgb(160, 80, 160);
color: rgb(0, 0, 0);
margin: 4px;
}
h2 {
font-family: sans-serif;
color: rgb(225, 225, 225);
font-size: 18pt;
margin: 2pt;
}
h3 {
font-family: sans-serif;
font-weight: bold;
font-style: italic;
font-size: 14pt;
margin: 2pt;
}
.window {
background-color: rgb(224, 160, 224);
margin: 4px;
padding: 8px;
border-radius: 10px;
width: 600px;
height: 576px;
float: left;
}
.window pre {
font-size: 12pt;
line-height: 14pt;
}
.window textarea {
width: 584px;
height: 480px;
background-color: rgba(0, 0, 0, 0);
border: 8px;
padding: 8px;
font-size: 12pt;
line-height: 14pt;
resize: none;
}
.window button {
border: 2px solid rgb(0, 0, 0);
border-radius: 3px;
background-color: rgb(224, 224, 224);
font-size: 10pt;
padding: 2pt;
}
.window input {
border: 2px solid rgb(0, 0, 0);
border-radius: 3px;
background-color: rgb(255, 255, 255);
font-size: 10pt;
padding: 2pt;
width: 80%;
}
.output {
width: 584px;
height: 484px;
}
.bar {
height: 100%;
position: relative;
bottom :-8pt;
left: 0;
}
.load-menu {
display: inline-block;
position: relative;
}
.load-menu-content {
display: none;
position: absolute;
width: 100%;
overflow: visible;
bottom: 18pt;
}
.load-menu:hover .load-menu-content {
display: block;
}
.load-menu-content p {
display: block;
color: rgb(0, 0, 0);
background-color: rgb(255, 255, 255);
border-radius: 0px;
border-style: solid;
border-width: 1px;
border-color: rgb(0, 0, 0);
padding: 4px;
margin: 0px;
font-size: 10pt;
text-decoration: none;
}
.load-menu-content p:hover {
color: rgb(0, 0, 0);
background-color: rgb(224, 160, 224);
}