annotate jsparser.css @ 11:49145e1db3e5

added an interactive tokenization display.
author Atul Varma <varmaa@toolness.com>
date Sat, 30 May 2009 16:38:20 -0700
parents
children 485783e3b54c
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
11
49145e1db3e5 added an interactive tokenization display.
Atul Varma <varmaa@toolness.com>
parents:
diff changeset
1 body {
49145e1db3e5 added an interactive tokenization display.
Atul Varma <varmaa@toolness.com>
parents:
diff changeset
2 font-family: helvetica, arial, sans-serif;
49145e1db3e5 added an interactive tokenization display.
Atul Varma <varmaa@toolness.com>
parents:
diff changeset
3 font-size: 9pt;
49145e1db3e5 added an interactive tokenization display.
Atul Varma <varmaa@toolness.com>
parents:
diff changeset
4 }
49145e1db3e5 added an interactive tokenization display.
Atul Varma <varmaa@toolness.com>
parents:
diff changeset
5
49145e1db3e5 added an interactive tokenization display.
Atul Varma <varmaa@toolness.com>
parents:
diff changeset
6 pre {
49145e1db3e5 added an interactive tokenization display.
Atul Varma <varmaa@toolness.com>
parents:
diff changeset
7 font-family: monaco, monospace;
49145e1db3e5 added an interactive tokenization display.
Atul Varma <varmaa@toolness.com>
parents:
diff changeset
8 }
49145e1db3e5 added an interactive tokenization display.
Atul Varma <varmaa@toolness.com>
parents:
diff changeset
9
49145e1db3e5 added an interactive tokenization display.
Atul Varma <varmaa@toolness.com>
parents:
diff changeset
10 .overlay {
49145e1db3e5 added an interactive tokenization display.
Atul Varma <varmaa@toolness.com>
parents:
diff changeset
11 position: absolute;
49145e1db3e5 added an interactive tokenization display.
Atul Varma <varmaa@toolness.com>
parents:
diff changeset
12 background: rgba(0, 0, 0, 0.5);
49145e1db3e5 added an interactive tokenization display.
Atul Varma <varmaa@toolness.com>
parents:
diff changeset
13 color: white;
49145e1db3e5 added an interactive tokenization display.
Atul Varma <varmaa@toolness.com>
parents:
diff changeset
14 padding: 0.5em;
49145e1db3e5 added an interactive tokenization display.
Atul Varma <varmaa@toolness.com>
parents:
diff changeset
15 }
49145e1db3e5 added an interactive tokenization display.
Atul Varma <varmaa@toolness.com>
parents:
diff changeset
16
49145e1db3e5 added an interactive tokenization display.
Atul Varma <varmaa@toolness.com>
parents:
diff changeset
17 .highlight {
49145e1db3e5 added an interactive tokenization display.
Atul Varma <varmaa@toolness.com>
parents:
diff changeset
18 background-color: yellow;
49145e1db3e5 added an interactive tokenization display.
Atul Varma <varmaa@toolness.com>
parents:
diff changeset
19 }
49145e1db3e5 added an interactive tokenization display.
Atul Varma <varmaa@toolness.com>
parents:
diff changeset
20
49145e1db3e5 added an interactive tokenization display.
Atul Varma <varmaa@toolness.com>
parents:
diff changeset
21 .tokenization {
49145e1db3e5 added an interactive tokenization display.
Atul Varma <varmaa@toolness.com>
parents:
diff changeset
22 cursor: pointer;
49145e1db3e5 added an interactive tokenization display.
Atul Varma <varmaa@toolness.com>
parents:
diff changeset
23 }