1/*
2 * Copyright 2014 Google Inc. All rights reserved.
3 *
4 * Licensed under the Apache License, Version 2.0 (the "License");
5 * you may not use this file except in compliance with the License.
6 * You may obtain a copy of the License at
7 *
8 *   http://www.apache.org/licenses/LICENSE-2.0
9 *
10 * Unless required by applicable law or agreed to in writing, software
11 * distributed under the License is distributed on an "AS IS" BASIS,
12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 * See the License for the specific language governing permissions and
14 * limitations under the License.
15 */
16
17/* Fullscreen display elements */
18html, body, #kythe, #container, #container div {
19  height: 100%;
20  margin-bottom: 0px;
21}
22
23#fringe {
24  float: left;
25  border: 0px;
26  background: none;
27  width: 35px; /* Enough space for 4-digit line numbers */
28  word-wrap: normal;
29  padding-left: 0px;
30  padding-right: 4px;
31  text-align: right;
32}
33
34#src-container code {
35  white-space: pre;
36  word-wrap: normal;
37}
38
39#src-container, #filetree-container {
40  overflow: auto;
41}
42
43/* Compress file tree items */
44#filetree-container ul > li {
45  margin-left: 11px;
46}
47#filetree-container a {
48  display: inline;
49}
50#filetree-container > ul > li {
51  margin-left: 5px;
52}
53#filetree-container a {
54  padding: 3px;
55  margin: -1px;
56}
57
58.border {
59  border: 1px solid lightgray;
60  border-radius: 4px;
61}
62
63/* TODO(schroederc): don't overlay on top of source text */
64#xrefs {
65  padding: 5px;
66  width: 100%;
67  position: fixed;
68  margin: 0px;
69  bottom: 0px;
70  overflow: auto;
71  background: white;
72  height: 33% !important;
73}
74
75#xrefs div {
76  height: auto;
77}
78
79.snippet {
80  font-size: 90%;
81  color: gray;
82  margin-left: 2em;
83  margin-bottom: 0;
84  white-space: pre;
85}
86
87.snippet span {
88  display: inline-flex;
89}
90
91.spinner {
92  -animation: spin 0.9s infinite linear;
93  -webkit-animation: spin-webkit 0.9s infinite linear;
94}
95
96@-webkit-keyframes spin-webkit {
97  from { -webkit-transform: rotate(0deg); }
98  to   { -webkit-transform: rotate(360deg); }
99}
100
101@keyframes spin {
102  from { transform: scale(1) rotate(0deg); }
103  to   { transform: scale(1) rotate(360deg); }
104}
105