diff options
author | Holger Weiss <holger@zedat.fu-berlin.de> | 2023-02-02 13:42:01 (GMT) |
---|---|---|
committer | Holger Weiss <holger@zedat.fu-berlin.de> | 2023-02-02 13:42:01 (GMT) |
commit | f4c60349753a8a01faa386df39544ac7ddfd8f2c (patch) | |
tree | c9d26406c043f6fc31f1ccb2d4f077010ca170a3 /web/input/resources | |
parent | aafcfab9000b221d5256163e81da035e073b35c5 (diff) | |
download | site-f4c60349753a8a01faa386df39544ac7ddfd8f2c.tar.gz |
resources/plugins.css: Fix indentation
Diffstat (limited to 'web/input/resources')
-rw-r--r-- | web/input/resources/plugins.css | 144 |
1 files changed, 72 insertions, 72 deletions
diff --git a/web/input/resources/plugins.css b/web/input/resources/plugins.css index ec0b85c..70d0ec1 100644 --- a/web/input/resources/plugins.css +++ b/web/input/resources/plugins.css | |||
@@ -14,122 +14,122 @@ | |||
14 | 14 | ||
15 | /* bitter-regular - latin */ | 15 | /* bitter-regular - latin */ |
16 | @font-face { | 16 | @font-face { |
17 | font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */ | 17 | font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */ |
18 | font-family: 'Bitter'; | 18 | font-family: 'Bitter'; |
19 | font-style: normal; | 19 | font-style: normal; |
20 | font-weight: 400; | 20 | font-weight: 400; |
21 | src: url('fonts/bitter-v32-latin-regular.woff2') format('woff2'), /* Chrome 36+, Opera 23+, Firefox 39+ */ | 21 | src: url('fonts/bitter-v32-latin-regular.woff2') format('woff2'), /* Chrome 36+, Opera 23+, Firefox 39+ */ |
22 | url('fonts/bitter-v32-latin-regular.woff') format('woff'); /* Chrome 5+, Firefox 3.6+, IE 9+, Safari 5.1+ */ | 22 | url('fonts/bitter-v32-latin-regular.woff') format('woff'); /* Chrome 5+, Firefox 3.6+, IE 9+, Safari 5.1+ */ |
23 | } | 23 | } |
24 | 24 | ||
25 | /* bitter-italic - latin */ | 25 | /* bitter-italic - latin */ |
26 | @font-face { | 26 | @font-face { |
27 | font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */ | 27 | font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */ |
28 | font-family: 'Bitter'; | 28 | font-family: 'Bitter'; |
29 | font-style: italic; | 29 | font-style: italic; |
30 | font-weight: 400; | 30 | font-weight: 400; |
31 | src: url('fonts/bitter-v32-latin-italic.woff2') format('woff2'), /* Chrome 36+, Opera 23+, Firefox 39+ */ | 31 | src: url('fonts/bitter-v32-latin-italic.woff2') format('woff2'), /* Chrome 36+, Opera 23+, Firefox 39+ */ |
32 | url('fonts/bitter-v32-latin-italic.woff') format('woff'); /* Chrome 5+, Firefox 3.6+, IE 9+, Safari 5.1+ */ | 32 | url('fonts/bitter-v32-latin-italic.woff') format('woff'); /* Chrome 5+, Firefox 3.6+, IE 9+, Safari 5.1+ */ |
33 | } | 33 | } |
34 | 34 | ||
35 | /* bitter-700 - latin */ | 35 | /* bitter-700 - latin */ |
36 | @font-face { | 36 | @font-face { |
37 | font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */ | 37 | font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */ |
38 | font-family: 'Bitter'; | 38 | font-family: 'Bitter'; |
39 | font-style: normal; | 39 | font-style: normal; |
40 | font-weight: 700; | 40 | font-weight: 700; |
41 | src: url('fonts/bitter-v32-latin-700.woff2') format('woff2'), /* Chrome 36+, Opera 23+, Firefox 39+ */ | 41 | src: url('fonts/bitter-v32-latin-700.woff2') format('woff2'), /* Chrome 36+, Opera 23+, Firefox 39+ */ |
42 | url('fonts/bitter-v32-latin-700.woff') format('woff'); /* Chrome 5+, Firefox 3.6+, IE 9+, Safari 5.1+ */ | 42 | url('fonts/bitter-v32-latin-700.woff') format('woff'); /* Chrome 5+, Firefox 3.6+, IE 9+, Safari 5.1+ */ |
43 | } | 43 | } |
44 | 44 | ||
45 | /* bitter-700italic - latin */ | 45 | /* bitter-700italic - latin */ |
46 | @font-face { | 46 | @font-face { |
47 | font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */ | 47 | font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */ |
48 | font-family: 'Bitter'; | 48 | font-family: 'Bitter'; |
49 | font-style: italic; | 49 | font-style: italic; |
50 | font-weight: 700; | 50 | font-weight: 700; |
51 | src: url('fonts/bitter-v32-latin-700italic.woff2') format('woff2'), /* Chrome 36+, Opera 23+, Firefox 39+ */ | 51 | src: url('fonts/bitter-v32-latin-700italic.woff2') format('woff2'), /* Chrome 36+, Opera 23+, Firefox 39+ */ |
52 | url('fonts/bitter-v32-latin-700italic.woff') format('woff'); /* Chrome 5+, Firefox 3.6+, IE 9+, Safari 5.1+ */ | 52 | url('fonts/bitter-v32-latin-700italic.woff') format('woff'); /* Chrome 5+, Firefox 3.6+, IE 9+, Safari 5.1+ */ |
53 | } | 53 | } |
54 | 54 | ||
55 | /* source-sans-pro-regular - latin */ | 55 | /* source-sans-pro-regular - latin */ |
56 | @font-face { | 56 | @font-face { |
57 | font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */ | 57 | font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */ |
58 | font-family: 'Source Sans Pro'; | 58 | font-family: 'Source Sans Pro'; |
59 | font-style: normal; | 59 | font-style: normal; |
60 | font-weight: 400; | 60 | font-weight: 400; |
61 | src: url('fonts/source-sans-pro-v21-latin-regular.woff2') format('woff2'), /* Chrome 36+, Opera 23+, Firefox 39+ */ | 61 | src: url('fonts/source-sans-pro-v21-latin-regular.woff2') format('woff2'), /* Chrome 36+, Opera 23+, Firefox 39+ */ |
62 | url('fonts/source-sans-pro-v21-latin-regular.woff') format('woff'); /* Chrome 5+, Firefox 3.6+, IE 9+, Safari 5.1+ */ | 62 | url('fonts/source-sans-pro-v21-latin-regular.woff') format('woff'); /* Chrome 5+, Firefox 3.6+, IE 9+, Safari 5.1+ */ |
63 | } | 63 | } |
64 | 64 | ||
65 | /* source-sans-pro-italic - latin */ | 65 | /* source-sans-pro-italic - latin */ |
66 | @font-face { | 66 | @font-face { |
67 | font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */ | 67 | font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */ |
68 | font-family: 'Source Sans Pro'; | 68 | font-family: 'Source Sans Pro'; |
69 | font-style: italic; | 69 | font-style: italic; |
70 | font-weight: 400; | 70 | font-weight: 400; |
71 | src: url('fonts/source-sans-pro-v21-latin-italic.woff2') format('woff2'), /* Chrome 36+, Opera 23+, Firefox 39+ */ | 71 | src: url('fonts/source-sans-pro-v21-latin-italic.woff2') format('woff2'), /* Chrome 36+, Opera 23+, Firefox 39+ */ |
72 | url('fonts/source-sans-pro-v21-latin-italic.woff') format('woff'); /* Chrome 5+, Firefox 3.6+, IE 9+, Safari 5.1+ */ | 72 | url('fonts/source-sans-pro-v21-latin-italic.woff') format('woff'); /* Chrome 5+, Firefox 3.6+, IE 9+, Safari 5.1+ */ |
73 | } | 73 | } |
74 | 74 | ||
75 | /* source-sans-pro-700 - latin */ | 75 | /* source-sans-pro-700 - latin */ |
76 | @font-face { | 76 | @font-face { |
77 | font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */ | 77 | font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */ |
78 | font-family: 'Source Sans Pro'; | 78 | font-family: 'Source Sans Pro'; |
79 | font-style: normal; | 79 | font-style: normal; |
80 | font-weight: 700; | 80 | font-weight: 700; |
81 | src: url('fonts/source-sans-pro-v21-latin-700.woff2') format('woff2'), /* Chrome 36+, Opera 23+, Firefox 39+ */ | 81 | src: url('fonts/source-sans-pro-v21-latin-700.woff2') format('woff2'), /* Chrome 36+, Opera 23+, Firefox 39+ */ |
82 | url('fonts/source-sans-pro-v21-latin-700.woff') format('woff'); /* Chrome 5+, Firefox 3.6+, IE 9+, Safari 5.1+ */ | 82 | url('fonts/source-sans-pro-v21-latin-700.woff') format('woff'); /* Chrome 5+, Firefox 3.6+, IE 9+, Safari 5.1+ */ |
83 | } | 83 | } |
84 | 84 | ||
85 | /* source-sans-pro-700italic - latin */ | 85 | /* source-sans-pro-700italic - latin */ |
86 | @font-face { | 86 | @font-face { |
87 | font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */ | 87 | font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */ |
88 | font-family: 'Source Sans Pro'; | 88 | font-family: 'Source Sans Pro'; |
89 | font-style: italic; | 89 | font-style: italic; |
90 | font-weight: 700; | 90 | font-weight: 700; |
91 | src: url('fonts/source-sans-pro-v21-latin-700italic.woff2') format('woff2'), /* Chrome 36+, Opera 23+, Firefox 39+ */ | 91 | src: url('fonts/source-sans-pro-v21-latin-700italic.woff2') format('woff2'), /* Chrome 36+, Opera 23+, Firefox 39+ */ |
92 | url('fonts/source-sans-pro-v21-latin-700italic.woff') format('woff'); /* Chrome 5+, Firefox 3.6+, IE 9+, Safari 5.1+ */ | 92 | url('fonts/source-sans-pro-v21-latin-700italic.woff') format('woff'); /* Chrome 5+, Firefox 3.6+, IE 9+, Safari 5.1+ */ |
93 | } | 93 | } |
94 | 94 | ||
95 | /* source-code-pro-regular - latin */ | 95 | /* source-code-pro-regular - latin */ |
96 | @font-face { | 96 | @font-face { |
97 | font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */ | 97 | font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */ |
98 | font-family: 'Source Code Pro'; | 98 | font-family: 'Source Code Pro'; |
99 | font-style: normal; | 99 | font-style: normal; |
100 | font-weight: 400; | 100 | font-weight: 400; |
101 | src: url('fonts/source-code-pro-v22-latin-regular.woff2') format('woff2'), /* Chrome 36+, Opera 23+, Firefox 39+ */ | 101 | src: url('fonts/source-code-pro-v22-latin-regular.woff2') format('woff2'), /* Chrome 36+, Opera 23+, Firefox 39+ */ |
102 | url('fonts/source-code-pro-v22-latin-regular.woff') format('woff'); /* Chrome 5+, Firefox 3.6+, IE 9+, Safari 5.1+ */ | 102 | url('fonts/source-code-pro-v22-latin-regular.woff') format('woff'); /* Chrome 5+, Firefox 3.6+, IE 9+, Safari 5.1+ */ |
103 | } | 103 | } |
104 | 104 | ||
105 | /* source-code-pro-italic - latin */ | 105 | /* source-code-pro-italic - latin */ |
106 | @font-face { | 106 | @font-face { |
107 | font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */ | 107 | font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */ |
108 | font-family: 'Source Code Pro'; | 108 | font-family: 'Source Code Pro'; |
109 | font-style: italic; | 109 | font-style: italic; |
110 | font-weight: 400; | 110 | font-weight: 400; |
111 | src: url('fonts/source-code-pro-v22-latin-italic.woff2') format('woff2'), /* Chrome 36+, Opera 23+, Firefox 39+ */ | 111 | src: url('fonts/source-code-pro-v22-latin-italic.woff2') format('woff2'), /* Chrome 36+, Opera 23+, Firefox 39+ */ |
112 | url('fonts/source-code-pro-v22-latin-italic.woff') format('woff'); /* Chrome 5+, Firefox 3.6+, IE 9+, Safari 5.1+ */ | 112 | url('fonts/source-code-pro-v22-latin-italic.woff') format('woff'); /* Chrome 5+, Firefox 3.6+, IE 9+, Safari 5.1+ */ |
113 | } | 113 | } |
114 | 114 | ||
115 | /* source-code-pro-700 - latin */ | 115 | /* source-code-pro-700 - latin */ |
116 | @font-face { | 116 | @font-face { |
117 | font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */ | 117 | font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */ |
118 | font-family: 'Source Code Pro'; | 118 | font-family: 'Source Code Pro'; |
119 | font-style: normal; | 119 | font-style: normal; |
120 | font-weight: 700; | 120 | font-weight: 700; |
121 | src: url('fonts/source-code-pro-v22-latin-700.woff2') format('woff2'), /* Chrome 36+, Opera 23+, Firefox 39+ */ | 121 | src: url('fonts/source-code-pro-v22-latin-700.woff2') format('woff2'), /* Chrome 36+, Opera 23+, Firefox 39+ */ |
122 | url('fonts/source-code-pro-v22-latin-700.woff') format('woff'); /* Chrome 5+, Firefox 3.6+, IE 9+, Safari 5.1+ */ | 122 | url('fonts/source-code-pro-v22-latin-700.woff') format('woff'); /* Chrome 5+, Firefox 3.6+, IE 9+, Safari 5.1+ */ |
123 | } | 123 | } |
124 | 124 | ||
125 | /* source-code-pro-700italic - latin */ | 125 | /* source-code-pro-700italic - latin */ |
126 | @font-face { | 126 | @font-face { |
127 | font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */ | 127 | font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */ |
128 | font-family: 'Source Code Pro'; | 128 | font-family: 'Source Code Pro'; |
129 | font-style: italic; | 129 | font-style: italic; |
130 | font-weight: 700; | 130 | font-weight: 700; |
131 | src: url('fonts/source-code-pro-v22-latin-700italic.woff2') format('woff2'), /* Chrome 36+, Opera 23+, Firefox 39+ */ | 131 | src: url('fonts/source-code-pro-v22-latin-700italic.woff2') format('woff2'), /* Chrome 36+, Opera 23+, Firefox 39+ */ |
132 | url('fonts/source-code-pro-v22-latin-700italic.woff') format('woff'); /* Chrome 5+, Firefox 3.6+, IE 9+, Safari 5.1+ */ | 132 | url('fonts/source-code-pro-v22-latin-700italic.woff') format('woff'); /* Chrome 5+, Firefox 3.6+, IE 9+, Safari 5.1+ */ |
133 | } | 133 | } |
134 | 134 | ||
135 | body { | 135 | body { |