xref: /aosp_15_r20/external/ktfmt/website/index/index.css (revision 5be3f65c8cf0e6db0a7e312df5006e8e93cdf9ec)
1*5be3f65cSAndroid Build Coastguard Worker/**
2*5be3f65cSAndroid Build Coastguard Worker * Copyright (c) Meta Platforms, Inc. and affiliates.
3*5be3f65cSAndroid Build Coastguard Worker *
4*5be3f65cSAndroid Build Coastguard Worker * Licensed under the Apache License, Version 2.0 (the "License");
5*5be3f65cSAndroid Build Coastguard Worker * you may not use this file except in compliance with the License.
6*5be3f65cSAndroid Build Coastguard Worker * You may obtain a copy of the License at
7*5be3f65cSAndroid Build Coastguard Worker *
8*5be3f65cSAndroid Build Coastguard Worker *     http://www.apache.org/licenses/LICENSE-2.0
9*5be3f65cSAndroid Build Coastguard Worker *
10*5be3f65cSAndroid Build Coastguard Worker * Unless required by applicable law or agreed to in writing, software
11*5be3f65cSAndroid Build Coastguard Worker * distributed under the License is distributed on an "AS IS" BASIS,
12*5be3f65cSAndroid Build Coastguard Worker * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13*5be3f65cSAndroid Build Coastguard Worker * See the License for the specific language governing permissions and
14*5be3f65cSAndroid Build Coastguard Worker * limitations under the License.
15*5be3f65cSAndroid Build Coastguard Worker */
16*5be3f65cSAndroid Build Coastguard Worker
17*5be3f65cSAndroid Build Coastguard Worker/* Forked from https://microsoft.github.io/monaco-editor/ */
18*5be3f65cSAndroid Build Coastguard Worker
19*5be3f65cSAndroid Build Coastguard Worker.try .drops {
20*5be3f65cSAndroid Build Coastguard Worker    margin: 0;
21*5be3f65cSAndroid Build Coastguard Worker    list-style: none;
22*5be3f65cSAndroid Build Coastguard Worker    float: right;
23*5be3f65cSAndroid Build Coastguard Worker}
24*5be3f65cSAndroid Build Coastguard Worker
25*5be3f65cSAndroid Build Coastguard Worker.try .drops li {
26*5be3f65cSAndroid Build Coastguard Worker    float: left;
27*5be3f65cSAndroid Build Coastguard Worker    width: auto;
28*5be3f65cSAndroid Build Coastguard Worker    height: auto;
29*5be3f65cSAndroid Build Coastguard Worker    text-indent: 0;
30*5be3f65cSAndroid Build Coastguard Worker    font-size: 26px;
31*5be3f65cSAndroid Build Coastguard Worker    line-height: normal;
32*5be3f65cSAndroid Build Coastguard Worker    margin: 0 12px;
33*5be3f65cSAndroid Build Coastguard Worker    cursor: pointer;
34*5be3f65cSAndroid Build Coastguard Worker}
35*5be3f65cSAndroid Build Coastguard Worker
36*5be3f65cSAndroid Build Coastguard Worker.try .drops li a:hover,
37*5be3f65cSAndroid Build Coastguard Worker.try .drops li a:focus {
38*5be3f65cSAndroid Build Coastguard Worker    text-decoration: none;
39*5be3f65cSAndroid Build Coastguard Worker}
40*5be3f65cSAndroid Build Coastguard Worker
41*5be3f65cSAndroid Build Coastguard Worker.try .drops li h4 {
42*5be3f65cSAndroid Build Coastguard Worker    color: #999;
43*5be3f65cSAndroid Build Coastguard Worker}
44*5be3f65cSAndroid Build Coastguard Worker
45*5be3f65cSAndroid Build Coastguard Worker.try .drops li.active h4,
46*5be3f65cSAndroid Build Coastguard Worker.try .drops li.active:hover h4 {
47*5be3f65cSAndroid Build Coastguard Worker    color: #0072C6;
48*5be3f65cSAndroid Build Coastguard Worker}
49*5be3f65cSAndroid Build Coastguard Worker
50*5be3f65cSAndroid Build Coastguard Worker.try .drops li:hover h4 {
51*5be3f65cSAndroid Build Coastguard Worker    color: rgba(0, 114, 198, .5);
52*5be3f65cSAndroid Build Coastguard Worker}
53*5be3f65cSAndroid Build Coastguard Worker
54*5be3f65cSAndroid Build Coastguard Worker.try .editor.row {
55*5be3f65cSAndroid Build Coastguard Worker    padding: 18px 0
56*5be3f65cSAndroid Build Coastguard Worker}
57*5be3f65cSAndroid Build Coastguard Worker
58*5be3f65cSAndroid Build Coastguard Worker.try .row h4 {
59*5be3f65cSAndroid Build Coastguard Worker    padding-bottom: 6px;
60*5be3f65cSAndroid Build Coastguard Worker}
61*5be3f65cSAndroid Build Coastguard Worker
62*5be3f65cSAndroid Build Coastguard Worker.try .tile {
63*5be3f65cSAndroid Build Coastguard Worker    position: relative;
64*5be3f65cSAndroid Build Coastguard Worker    height: 72px;
65*5be3f65cSAndroid Build Coastguard Worker    border: 1px solid #ddd;
66*5be3f65cSAndroid Build Coastguard Worker    text-align: right;
67*5be3f65cSAndroid Build Coastguard Worker    overflow: hidden;
68*5be3f65cSAndroid Build Coastguard Worker    cursor: pointer;
69*5be3f65cSAndroid Build Coastguard Worker
70*5be3f65cSAndroid Build Coastguard Worker    -webkit-box-shadow: 0 1px 3px rgba(0, 0, 0, 0.055);
71*5be3f65cSAndroid Build Coastguard Worker    -moz-box-shadow: 0 1px 3px rgba(0, 0, 0, 0.055);
72*5be3f65cSAndroid Build Coastguard Worker    box-shadow: 0 1px 3px rgba(0, 0, 0, 0.055);
73*5be3f65cSAndroid Build Coastguard Worker
74*5be3f65cSAndroid Build Coastguard Worker    -webkit-box-sizing: border-box;
75*5be3f65cSAndroid Build Coastguard Worker    -o-box-sizing: border-box;
76*5be3f65cSAndroid Build Coastguard Worker    -moz-box-sizing: border-box;
77*5be3f65cSAndroid Build Coastguard Worker    -ms-box-sizing: border-box;
78*5be3f65cSAndroid Build Coastguard Worker    box-sizing: border-box;
79*5be3f65cSAndroid Build Coastguard Worker}
80*5be3f65cSAndroid Build Coastguard Worker
81*5be3f65cSAndroid Build Coastguard Worker.try .tile:hover {
82*5be3f65cSAndroid Build Coastguard Worker    -webkit-box-shadow: 0 1px 5px rgba(0, 0, 0, 0.25);
83*5be3f65cSAndroid Build Coastguard Worker    -moz-box-shadow: 0 1px 5px rgba(0, 0, 0, 0.25);
84*5be3f65cSAndroid Build Coastguard Worker    box-shadow: 0 1px 5px rgba(0, 0, 0, 0.25);
85*5be3f65cSAndroid Build Coastguard Worker}
86*5be3f65cSAndroid Build Coastguard Worker
87*5be3f65cSAndroid Build Coastguard Worker.try .tile h4 {
88*5be3f65cSAndroid Build Coastguard Worker    margin: 0;
89*5be3f65cSAndroid Build Coastguard Worker    position: absolute;
90*5be3f65cSAndroid Build Coastguard Worker    right: 12px;
91*5be3f65cSAndroid Build Coastguard Worker    bottom: 12px;
92*5be3f65cSAndroid Build Coastguard Worker    z-index: 1;
93*5be3f65cSAndroid Build Coastguard Worker}
94*5be3f65cSAndroid Build Coastguard Worker
95*5be3f65cSAndroid Build Coastguard Worker.try .tile .glyph {
96*5be3f65cSAndroid Build Coastguard Worker    position: absolute;
97*5be3f65cSAndroid Build Coastguard Worker    left: 12px;
98*5be3f65cSAndroid Build Coastguard Worker    bottom: -6px;
99*5be3f65cSAndroid Build Coastguard Worker    background: url('../img/cloud.png') no-repeat;
100*5be3f65cSAndroid Build Coastguard Worker    background-size: 80px 43px;
101*5be3f65cSAndroid Build Coastguard Worker    height: 43px;
102*5be3f65cSAndroid Build Coastguard Worker    width: 80px;
103*5be3f65cSAndroid Build Coastguard Worker
104*5be3f65cSAndroid Build Coastguard Worker    opacity: .5;
105*5be3f65cSAndroid Build Coastguard Worker    transition: opacity .5s ease, bottom .5s ease;
106*5be3f65cSAndroid Build Coastguard Worker    -webkit-transition: opacity .5s ease, bottom .5s ease;
107*5be3f65cSAndroid Build Coastguard Worker}
108*5be3f65cSAndroid Build Coastguard Worker
109*5be3f65cSAndroid Build Coastguard Worker.try .tile:hover .glyph {
110*5be3f65cSAndroid Build Coastguard Worker    opacity: 1;
111*5be3f65cSAndroid Build Coastguard Worker    bottom: -2px;
112*5be3f65cSAndroid Build Coastguard Worker}
113*5be3f65cSAndroid Build Coastguard Worker
114*5be3f65cSAndroid Build Coastguard Worker.try .editor.row h4 small {
115*5be3f65cSAndroid Build Coastguard Worker    color: #555;
116*5be3f65cSAndroid Build Coastguard Worker}
117*5be3f65cSAndroid Build Coastguard Worker
118*5be3f65cSAndroid Build Coastguard Worker.try .editor.row .control-label {
119*5be3f65cSAndroid Build Coastguard Worker    display: inline-block;
120*5be3f65cSAndroid Build Coastguard Worker    position: relative;
121*5be3f65cSAndroid Build Coastguard Worker    top: -4px;
122*5be3f65cSAndroid Build Coastguard Worker    margin-right: 4px;
123*5be3f65cSAndroid Build Coastguard Worker}
124*5be3f65cSAndroid Build Coastguard Worker
125*5be3f65cSAndroid Build Coastguard Worker.try .editor.row .monaco-editor .find-widget input[type="text"] {
126*5be3f65cSAndroid Build Coastguard Worker    margin-bottom: 0;
127*5be3f65cSAndroid Build Coastguard Worker    -webkit-box-shadow: none;
128*5be3f65cSAndroid Build Coastguard Worker    -moz-box-shadow: none;
129*5be3f65cSAndroid Build Coastguard Worker    box-shadow: none;
130*5be3f65cSAndroid Build Coastguard Worker    -webkit-transition: none;
131*5be3f65cSAndroid Build Coastguard Worker    -moz-transition: none;
132*5be3f65cSAndroid Build Coastguard Worker    -o-transition: none;
133*5be3f65cSAndroid Build Coastguard Worker    transition: none;
134*5be3f65cSAndroid Build Coastguard Worker}
135*5be3f65cSAndroid Build Coastguard Worker
136*5be3f65cSAndroid Build Coastguard Worker.try .editor.row .monaco-editor .find-widget .monaco-checkbox .label {
137*5be3f65cSAndroid Build Coastguard Worker    min-height: 20px;
138*5be3f65cSAndroid Build Coastguard Worker    min-width: 20px;
139*5be3f65cSAndroid Build Coastguard Worker}
140*5be3f65cSAndroid Build Coastguard Worker
141*5be3f65cSAndroid Build Coastguard Worker.try .editor.row .monaco-editor .find-widget .close {
142*5be3f65cSAndroid Build Coastguard Worker    float: none;
143*5be3f65cSAndroid Build Coastguard Worker    opacity: 1;
144*5be3f65cSAndroid Build Coastguard Worker}
145*5be3f65cSAndroid Build Coastguard Worker
146*5be3f65cSAndroid Build Coastguard Worker.try .editor .editor-frame {
147*5be3f65cSAndroid Build Coastguard Worker    position: relative;
148*5be3f65cSAndroid Build Coastguard Worker}
149*5be3f65cSAndroid Build Coastguard Worker
150*5be3f65cSAndroid Build Coastguard Worker.try .editor .editor-frame #editor,
151*5be3f65cSAndroid Build Coastguard Worker.try .editor .editor-frame #diff-editor {
152*5be3f65cSAndroid Build Coastguard Worker    height: 400px;
153*5be3f65cSAndroid Build Coastguard Worker    margin-bottom: 10px;
154*5be3f65cSAndroid Build Coastguard Worker    border: 1px solid #eee;
155*5be3f65cSAndroid Build Coastguard Worker}
156*5be3f65cSAndroid Build Coastguard Worker
157*5be3f65cSAndroid Build Coastguard Worker.try .editor .editor-frame .loading {
158*5be3f65cSAndroid Build Coastguard Worker    position: absolute;
159*5be3f65cSAndroid Build Coastguard Worker    height: 100%;
160*5be3f65cSAndroid Build Coastguard Worker    width: 100%;
161*5be3f65cSAndroid Build Coastguard Worker    background-color: rgba(255, 255, 255, .5);
162*5be3f65cSAndroid Build Coastguard Worker    margin: 0 auto;
163*5be3f65cSAndroid Build Coastguard Worker    display: none;
164*5be3f65cSAndroid Build Coastguard Worker    z-index: 100;
165*5be3f65cSAndroid Build Coastguard Worker}
166*5be3f65cSAndroid Build Coastguard Worker
167*5be3f65cSAndroid Build Coastguard Worker.try .editor .editor-frame .progress {
168*5be3f65cSAndroid Build Coastguard Worker    width: 50%;
169*5be3f65cSAndroid Build Coastguard Worker    margin: 15% auto 0;
170*5be3f65cSAndroid Build Coastguard Worker}
171*5be3f65cSAndroid Build Coastguard Worker
172*5be3f65cSAndroid Build Coastguard Worker.try .editor .editor-frame .progress .bar {
173*5be3f65cSAndroid Build Coastguard Worker    width: 100%;
174*5be3f65cSAndroid Build Coastguard Worker    background-color: #4bb1cf;
175*5be3f65cSAndroid Build Coastguard Worker}
176*5be3f65cSAndroid Build Coastguard Worker
177*5be3f65cSAndroid Build Coastguard Worker.try .editor .editor-frame #editor .alert,
178*5be3f65cSAndroid Build Coastguard Worker.try .editor .editor-frame #diff-editor .alert {
179*5be3f65cSAndroid Build Coastguard Worker    margin: 18% auto 0;
180*5be3f65cSAndroid Build Coastguard Worker    width: 30%;
181*5be3f65cSAndroid Build Coastguard Worker    text-align: center;
182*5be3f65cSAndroid Build Coastguard Worker    color: #b94a48;
183*5be3f65cSAndroid Build Coastguard Worker    background-color: #f2dede;
184*5be3f65cSAndroid Build Coastguard Worker    border-color: #eed3d7;
185*5be3f65cSAndroid Build Coastguard Worker}
186*5be3f65cSAndroid Build Coastguard Worker
187*5be3f65cSAndroid Build Coastguard Worker.try .editor #editor .monaco-editor .row,
188*5be3f65cSAndroid Build Coastguard Worker.try .editor #diff-editor .monaco-editor .row {
189*5be3f65cSAndroid Build Coastguard Worker    margin-left: 0;
190*5be3f65cSAndroid Build Coastguard Worker}
191*5be3f65cSAndroid Build Coastguard Worker
192*5be3f65cSAndroid Build Coastguard Worker.try .editor .vs.monaco-editor .context-view.monaco-menu-container a {
193*5be3f65cSAndroid Build Coastguard Worker    color: #646465;
194*5be3f65cSAndroid Build Coastguard Worker}
195*5be3f65cSAndroid Build Coastguard Worker
196*5be3f65cSAndroid Build Coastguard Worker.try .editor .vs-dark.monaco-editor .context-view.monaco-menu-container a {
197*5be3f65cSAndroid Build Coastguard Worker    color: #BBB;
198*5be3f65cSAndroid Build Coastguard Worker}
199*5be3f65cSAndroid Build Coastguard Worker
200*5be3f65cSAndroid Build Coastguard Worker@media (min-width: 1200px) {
201*5be3f65cSAndroid Build Coastguard Worker    .try .editor .row {
202*5be3f65cSAndroid Build Coastguard Worker        margin-left: 0px;
203*5be3f65cSAndroid Build Coastguard Worker    }
204*5be3f65cSAndroid Build Coastguard Worker}
205*5be3f65cSAndroid Build Coastguard Worker
206*5be3f65cSAndroid Build Coastguard Worker@media (max-width: 767px) {
207*5be3f65cSAndroid Build Coastguard Worker    .try .container {
208*5be3f65cSAndroid Build Coastguard Worker        margin: 0 24px;
209*5be3f65cSAndroid Build Coastguard Worker    }
210*5be3f65cSAndroid Build Coastguard Worker
211*5be3f65cSAndroid Build Coastguard Worker    .try .tile h4 {
212*5be3f65cSAndroid Build Coastguard Worker        right: 6px;
213*5be3f65cSAndroid Build Coastguard Worker    }
214*5be3f65cSAndroid Build Coastguard Worker
215*5be3f65cSAndroid Build Coastguard Worker    .try .editor > .span9 .row .span4 {
216*5be3f65cSAndroid Build Coastguard Worker        float: left;
217*5be3f65cSAndroid Build Coastguard Worker        width: 50%;
218*5be3f65cSAndroid Build Coastguard Worker    }
219*5be3f65cSAndroid Build Coastguard Worker
220*5be3f65cSAndroid Build Coastguard Worker    .try .editor h4 {
221*5be3f65cSAndroid Build Coastguard Worker        margin-top: 0;
222*5be3f65cSAndroid Build Coastguard Worker    }
223*5be3f65cSAndroid Build Coastguard Worker}
224*5be3f65cSAndroid Build Coastguard Worker
225*5be3f65cSAndroid Build Coastguard Worker@media (max-width: 520px) {
226*5be3f65cSAndroid Build Coastguard Worker    .try .editor > .span3 p,
227*5be3f65cSAndroid Build Coastguard Worker    .try .editor > .span3 h4 {
228*5be3f65cSAndroid Build Coastguard Worker        display: none;
229*5be3f65cSAndroid Build Coastguard Worker    }
230*5be3f65cSAndroid Build Coastguard Worker}
231*5be3f65cSAndroid Build Coastguard Worker
232*5be3f65cSAndroid Build Coastguard Worker@media (max-width: 320px) {
233*5be3f65cSAndroid Build Coastguard Worker    .try .editor > .span9 {
234*5be3f65cSAndroid Build Coastguard Worker        display: none;
235*5be3f65cSAndroid Build Coastguard Worker    }
236*5be3f65cSAndroid Build Coastguard Worker}
237*5be3f65cSAndroid Build Coastguard Worker
238*5be3f65cSAndroid Build Coastguard Worker/* ------- BEGIN bootstrap fixes for the editor ------- */
239*5be3f65cSAndroid Build Coastguard Worker
240*5be3f65cSAndroid Build Coastguard Worker.monaco-editor .container:before, .monaco-editor .row:before {
241*5be3f65cSAndroid Build Coastguard Worker    content: "";
242*5be3f65cSAndroid Build Coastguard Worker    display: inherit;
243*5be3f65cSAndroid Build Coastguard Worker}
244*5be3f65cSAndroid Build Coastguard Worker
245*5be3f65cSAndroid Build Coastguard Worker.monaco-editor .container:after, .monaco-editor .row:after {
246*5be3f65cSAndroid Build Coastguard Worker    clear: inherit;
247*5be3f65cSAndroid Build Coastguard Worker}
248*5be3f65cSAndroid Build Coastguard Worker
249*5be3f65cSAndroid Build Coastguard Worker.monaco-editor .container {
250*5be3f65cSAndroid Build Coastguard Worker    width: auto;
251*5be3f65cSAndroid Build Coastguard Worker    margin: inherit;
252*5be3f65cSAndroid Build Coastguard Worker    padding: inherit;
253*5be3f65cSAndroid Build Coastguard Worker}
254*5be3f65cSAndroid Build Coastguard Worker
255*5be3f65cSAndroid Build Coastguard Worker.monaco-editor .close {
256*5be3f65cSAndroid Build Coastguard Worker    float: none;
257*5be3f65cSAndroid Build Coastguard Worker    font-size: inherit;
258*5be3f65cSAndroid Build Coastguard Worker    font-weight: inherit;
259*5be3f65cSAndroid Build Coastguard Worker    line-height: inherit;
260*5be3f65cSAndroid Build Coastguard Worker    color: inherit;
261*5be3f65cSAndroid Build Coastguard Worker    text-shadow: inherit;
262*5be3f65cSAndroid Build Coastguard Worker    opacity: inherit;
263*5be3f65cSAndroid Build Coastguard Worker    filter: inherit;
264*5be3f65cSAndroid Build Coastguard Worker}
265*5be3f65cSAndroid Build Coastguard Worker
266*5be3f65cSAndroid Build Coastguard Worker.monaco-editor .row {
267*5be3f65cSAndroid Build Coastguard Worker    margin: inherit;
268*5be3f65cSAndroid Build Coastguard Worker}
269*5be3f65cSAndroid Build Coastguard Worker
270*5be3f65cSAndroid Build Coastguard Worker.monaco-editor .invisible {
271*5be3f65cSAndroid Build Coastguard Worker    visibility: visible;
272*5be3f65cSAndroid Build Coastguard Worker}
273*5be3f65cSAndroid Build Coastguard Worker
274*5be3f65cSAndroid Build Coastguard Worker/* ------- END bootstrap fixes for the editor ------- */
275