Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(663)

Issues Search
    My Issues | Starred     Open | Closed | All

Side by Side Diff: tools/sodium/styles.css

Issue 29123008: Add tool to visualize machine code/lithium. (Closed) Base URL: https://v8.googlecode.com/svn/branches/bleeding_edge
Patch Set: Created 7 years, 2 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch | Annotate | Revision Log
« no previous file with comments | « tools/sodium/sodium.js ('k') | no next file » | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
(Empty)
1 #table-header {
2 background-color: rgba(150, 150, 255, 0.4);
3 }
4
5 #asm-container {
6 background-color: rgba(200, 200, 255, 0.4);
7 position:absolute;
8 overflow:auto;
9 cursor:default;
10 width:50%;
11 height:92%;
12 }
13
14 #source-container {
15 position:absolute;
16 overflow:auto;
17 width:48%;
18 left:51%;
19 height:92%;
20 }
21
22 table {
23 border-collapse: collapse;
24 }
25
26 .hover-underline:hover {
27 text-decoration: underline;
28 }
29
30 .highlight-flash-blue {
31 -webkit-transition: all 1s ease;
32 background-color: rgba(50, 50, 245, 0.4);
33 border-radius: 10px;
34 -o-border-radius: 10px;
35 -moz-border-radius: 10px;
36 -webkit-border-radius: 10px;
37 }
38
39
40 .highlight-green {
41 background-color: rgba(0, 255, 0, 0.4);
42 border-radius: 10px;
43 -o-border-radius: 10px;
44 -moz-border-radius: 10px;
45 -webkit-border-radius: 10px;
46 }
47
48 .highlight-yellow {
49 background-color: rgba(255, 255, 0, 0.4);
50 border-radius: 10px;
51 -o-border-radius: 10px;
52 -moz-border-radius: 10px;
53 -webkit-border-radius: 10px;
54 }
55
56 .highlight-gray {
57 background-color: rgba(128, 128, 128, 0.4);
58 border-radius: 10px;
59 -o-border-radius: 10px;
60 -moz-border-radius: 10px;
61 -webkit-border-radius: 10px;
62 }
63
64 .highlight-red {
65 background-color: rgba(255, 0, 0, 0.4);
66 border-radius: 10px;
67 -o-border-radius: 10px;
68 -moz-border-radius: 10px;
69 -webkit-border-radius: 10px;
70 }
OLDNEW
« no previous file with comments | « tools/sodium/sodium.js ('k') | no next file » | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698