File: log.css

package info (click to toggle)
chromium 138.0.7204.183-1~deb12u1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm-proposed-updates
  • size: 6,080,960 kB
  • sloc: cpp: 34,937,079; ansic: 7,176,967; javascript: 4,110,704; python: 1,419,954; asm: 946,768; xml: 739,971; pascal: 187,324; sh: 89,623; perl: 88,663; objc: 79,944; sql: 50,304; cs: 41,786; fortran: 24,137; makefile: 21,811; php: 13,980; tcl: 13,166; yacc: 8,925; ruby: 7,485; awk: 3,720; lisp: 3,096; lex: 1,327; ada: 727; jsp: 228; sed: 36
file content (82 lines) | stat: -rw-r--r-- 1,266 bytes parent folder | download | duplicates (12)
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
/* Copyright 2018 The Chromium Authors
 * Use of this source code is governed by a BSD-style license that can be
 * found in the LICENSE file. */

body {
  display: flex;
  flex-direction: column;
  height: 100%;
  margin: 0;
}

h1 {
  background: rgb(247, 152, 58);
  color: white;
  display: block;
  font-size: 16px;
  height: 56px;
  line-height: 56px;
  text-align: center;
  width: 100%;
}

/* Log Filters */
#logFilters {
  margin: 5px;
}

#logFilters label {
  vertical-align: middle;
}

#logFilters input {
  margin-buttom: 1px;
  vertical-align: middle;
}

/* Log */

#logList {
  border: 1px solid rgb(220, 220, 220);
  flex: 1 1 100%;
  font-size: 12px;
  margin: 5px;
  overflow: auto;
  padding: 10px;
}

#logList p {
  font-family: monospace;
  line-height: 20px;
  margin: 2px;
}

#logList pre {
  font-family: monospace;
  line-height: 20px;
  margin-inline-start: 205px;
}

/* Log tags */

.log-type-tag {
  border: 1px solid;
  border-radius: 2px;
  float: left;
  height: 14px;
  margin-inline-end: 5px;
  margin-top: 2px;
  padding: 0 4px 2px 4px;
  width: 75px;
}

.log-time-tag {
  border: 1px solid;
  border-radius: 2px;
  float: left;
  height: 14px;
  margin-inline-end: 5px;
  margin-top: 2px;
  padding: 0 4px 2px 4px;
  width: 100px;
}