@@ -105,11 +105,11 @@ hr {
105
105
margin-bottom : 2em ;
106
106
}
107
107
108
- # platform-instructions-unix > pre ,
109
- # platform-instructions-win32 > pre ,
110
- # platform-instructions-win64 > pre ,
111
- # platform-instructions-default > div > pre ,
112
- # platform-instructions-unknown > div > pre {
108
+ # platform-instructions-unix > div > pre ,
109
+ # platform-instructions-win32 > div > pre ,
110
+ # platform-instructions-win64 > div > pre ,
111
+ # platform-instructions-default > div > div > pre ,
112
+ # platform-instructions-unknown > div > div > pre {
113
113
background-color : # 515151 ;
114
114
color : white;
115
115
margin-left : auto;
@@ -121,6 +121,46 @@ hr {
121
121
box-shadow : inset 0px 0px 20px 0px # 333333 ;
122
122
overflow-x : scroll;
123
123
font-size : 0.6em ;
124
+ height : 27px ;
125
+ }
126
+
127
+ # platform-instructions-unix div .copy-container ,
128
+ # platform-instructions-win32 div .copy-container ,
129
+ # platform-instructions-win64 div .copy-container ,
130
+ # platform-instructions-default div .copy-container ,
131
+ # platform-instructions-unknown div .copy-container {
132
+ display : flex;
133
+ align-items : center;
134
+ }
135
+
136
+ # platform-instructions-unix button .copy-button ,
137
+ # platform-instructions-win32 button .copy-button ,
138
+ # platform-instructions-win64 button .copy-button ,
139
+ # platform-instructions-default button .copy-button ,
140
+ # platform-instructions-unknown button .copy-button {
141
+ height : 60px ;
142
+ margin : 1px ;
143
+ padding-right : 5px ;
144
+ border-radius : 3px ;
145
+ }
146
+
147
+ # platform-instructions-unix div .copy-icon ,
148
+ # platform-instructions-win32 div .copy-icon ,
149
+ # platform-instructions-win64 div .copy-icon ,
150
+ # platform-instructions-default div .copy-icon ,
151
+ # platform-instructions-unknown div .copy-icon {
152
+ margin-top : 12px ;
153
+ }
154
+
155
+ # platform-instructions-unix div .copy-button-text ,
156
+ # platform-instructions-win32 div .copy-button-text ,
157
+ # platform-instructions-win64 div .copy-button-text ,
158
+ # platform-instructions-default div .copy-button-text ,
159
+ # platform-instructions-unknown div .copy-button-text {
160
+ font-size : 10px ;
161
+ color : green;
162
+ width : 41px ;
163
+ height : 15px ;
124
164
}
125
165
126
166
# platform-instructions-win32 a .windows-download ,
0 commit comments