chrome/browser/resources/extensions/extension_info.css - Issue 730983002: Remove dead script_badge code.

Side by Side Diff

Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.

Keyboard Shortcuts

	File
u :	up to issue
j / k :	jump to file after / before current file
J / K :	jump to next file with a comment after / before current file
	Side-by-side diff
i :	toggle intra-line diffs
e :	expand all comments
c :	collapse all comments
s :	toggle showing all comments
n / p :	next / previous diff chunk or comment
N / P :	next / previous comment
<Up> / <Down> :	next / previous line

	Issue
u :	up to list of issues
j / k :	jump to patch after / before current patch
o / <Enter> :	open current patch in side-by-side view
i :	open current patch in unified diff view

	Issue List
j / k :	jump to issue after / before current issue
o / <Enter> :	open current issue

Side by Side Diff: chrome/browser/resources/extensions/extension_info.css

Issue 730983002: Remove dead script_badge code. (Closed) Base URL: https://chromium.googlesource.com/chromium/src.git@master

Patch Set: mm Created 6 years ago

Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.

Jump to:

OLD	NEW
	(Empty)
1 /* Copyright (c) 2012 The Chromium Authors. All rights reserved.

2 * Use of this source code is governed by a BSD-style license that can be

3 * found in the LICENSE file. */

4

5 body {

6 font-family: 'DejaVu Sans', Arial, sans-serif;

7 margin: 8px;

8 max-width: 480px;

9 min-width: 360px;

10 }

11

12 #extension-item {

13 background-repeat: no-repeat;

14 display: -webkit-box;

15 min-height: 48px;

16 }

17

18 #extension-title-running {

19 -webkit-padding-end: 5px;

20 font-size: 1.2em;

21 font-weight: 500;

22 padding-bottom: 5px;

23 }

24

25 #extension-last-updated,

26 #extension-update-time {

27 -webkit-padding-end: 7px;

28 color: rgb(78, 83, 86);

29 font-size: 1em;

30 font-weight: 400;

31 }

32

33 #extension-description {

34 -webkit-padding-end: 5px;

35 color: rgb(121, 126, 130);

36 font-size: 1em;

37 margin: 5px 0;

38 white-space: normal;

39 }

40

41 #extension-details {

42 -webkit-box-flex: 1;

43 -webkit-padding-start: 57px;

44 }

OLD	NEW