microsoft/qdk

Public

mirrored fromhttps://github.com/microsoft/qdkAvailable

CodeCommitsIssuesPull requestsActionsInsightsSecurity
iadavis/pipeline-issue-debugging

Branches

Tags

  • No tags available.
0Branches0Tags
Go to file
Add file
Code

Clone

HTTPS

Download ZIP

source/playground/src/main.css

194lines · modecode

1/* Generic element resets */
2
3*,
4*::before,
5*::after {
6 box-sizing: inherit;
7 margin: 0;
8 padding: 0;
9}
10
11html {
12 box-sizing: border-box;
13 font-size: 16px;
14}
15
16.language-qsharp {
17 line-height: 125%;
18}
19pre:has(code) {
20 background-color: White;
21 border-left: solid DarkBlue;
22 margin: 5px 0px 5px 0px;
23 padding: 0em 0em 0em 0.5em;
24}
25
26/* Playground body */
27
28.qs-play-body {
29 position: relative;
30 min-height: 100vh;
31 font-family: system-ui, "Segoe UI", "SegoeUI", Roboto, Helvetica, Arial,
32 sans-serif;
33 color: var(--main-color);
34 background-color: var(--main-background);
35 display: grid;
36 grid-template-areas:
37 "header header header"
38 "nav editor results";
39 grid-template-rows: auto 1fr;
40 grid-template-columns: minmax(180px, auto) 8fr 8fr;
41 column-gap: 16px;
42}
43
44/* Playground layout */
45
46.page-header {
47 grid-area: header;
48 background: var(--heading-background);
49 color: var(--main-background);
50 font-size: 2rem;
51 font-weight: 600;
52 text-align: center;
53 padding-top: 4px;
54 padding-bottom: 8px;
55}
56
57#popup {
58 position: absolute;
59 display: none;
60 background-color: white;
61 border: 1px solid black;
62 border-radius: 2px;
63 padding: 8px 16px;
64 font-size: 16px;
65}
66
67/* Navigation section */
68
69.nav-column {
70 grid-area: nav;
71 background-color: var(--nav-background);
72}
73
74.nav-1 {
75 font-size: 1.2rem;
76 font-weight: 200;
77 color: var(--main-color);
78 border-top: 1px solid var(--border-color);
79 padding-top: 4px;
80 padding-bottom: 4px;
81 padding-left: 8px;
82}
83
84.nav-2 {
85 font-size: 1rem;
86 font-weight: 200;
87 padding: 4px;
88 padding-left: 16px;
89}
90
91.nav-selectable:hover {
92 background-color: var(--nav-hover-background);
93 cursor: pointer;
94}
95
96.nav-current {
97 font-weight: 700;
98 background-color: var(--nav-current-background);
99}
100
101/* Editor section */
102
103.editor-column {
104 grid-area: editor;
105 margin: 16px;
106 margin-top: 32px;
107}
108
109.file-name {
110 border: 1px solid var(--border-color);
111 border-bottom: 0px;
112 width: 100px;
113 text-align: center;
114 height: 32px;
115 line-height: 32px;
116 background-color: white;
117}
118
119.icon-row > * {
120 margin-left: 4px;
121 font-size: 1.4rem;
122 cursor: pointer;
123}
124
125.code-editor {
126 height: 40vh;
127 min-height: 400px;
128 border: 1px solid var(--border-color);
129}
130
131.button-row {
132 display: flex;
133 justify-content: flex-end;
134 align-items: center;
135 margin-top: 8px;
136}
137
138.button-row > * {
139 margin-left: 10px;
140 font-size: 1rem;
141}
142
143.main-button {
144 background-color: var(--nav-background);
145 font-size: 1rem;
146 color: var(--main-color);
147 width: 72px;
148 height: 24px;
149 border-radius: 8px;
150 border: 1px solid var(--border-color);
151 cursor: pointer;
152}
153
154.main-button:disabled {
155 background-color: gray;
156 cursor: default;
157}
158
159.diag-list {
160 margin-top: 24px;
161 margin-bottom: 24px;
162 min-height: 48px;
163}
164
165.diag-row {
166 border: 1px solid var(--border-color);
167 padding: 4px;
168 border-bottom: 0.5px solid gray;
169 font-size: 0.9rem;
170 margin-bottom: -1px;
171}
172
173.diag-row > span {
174 font-weight: 200;
175}
176
177.diag-help {
178 font-weight: 200;
179 font-style: italic;
180}
181
182.error-row {
183 background-color: var(--error-background-color);
184}
185
186.warning-row {
187 background-color: var(--warning-background-color);
188}
189
190/* Katas */
191
192.kata-override {
193 background-color: var(--main-background);
194}
195