Mercurial > agora

annotate static/css/code.less @ 111:5f5f838c1e32

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Prevent selection of line numbers in snippet view So that when you highlight the snippet and copy + paste, you don't get the line numbers as well.
author dellsystem <ilostwaldo@gmail.com>
date Wed, 12 Sep 2012 13:48:07 -0400
parents 7d753658dc0e
children 00c71a6192de
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
104
7d753658dc0e Add line-number alignment for snippet display
dellsystem <ilostwaldo@gmail.com>
parents: 102
diff changeset
1 .line-number {
7d753658dc0e Add line-number alignment for snippet display
dellsystem <ilostwaldo@gmail.com>
parents: 102
diff changeset
2 width: 30px;
7d753658dc0e Add line-number alignment for snippet display
dellsystem <ilostwaldo@gmail.com>
parents: 102
diff changeset
3 text-align: right;
7d753658dc0e Add line-number alignment for snippet display
dellsystem <ilostwaldo@gmail.com>
parents: 102
diff changeset
4 font-weight: bold;
7d753658dc0e Add line-number alignment for snippet display
dellsystem <ilostwaldo@gmail.com>
parents: 102
diff changeset
5 padding-right: 10px;
111
5f5f838c1e32 Prevent selection of line numbers in snippet view
dellsystem <ilostwaldo@gmail.com>
parents: 104
diff changeset
6 .disable-select;
104
7d753658dc0e Add line-number alignment for snippet display
dellsystem <ilostwaldo@gmail.com>
parents: 102
diff changeset
7 }
7d753658dc0e Add line-number alignment for snippet display
dellsystem <ilostwaldo@gmail.com>
parents: 102
diff changeset
8
102
f872c643b056 Updates to snippet functionality (see details)
dellsystem <ilostwaldo@gmail.com>
parents: 80
diff changeset
9 .highlight {
f872c643b056 Updates to snippet functionality (see details)
dellsystem <ilostwaldo@gmail.com>
parents: 80
diff changeset
10 width: 650px;
104
7d753658dc0e Add line-number alignment for snippet display
dellsystem <ilostwaldo@gmail.com>
parents: 102
diff changeset
11 white-space: pre-wrap;
7d753658dc0e Add line-number alignment for snippet display
dellsystem <ilostwaldo@gmail.com>
parents: 102
diff changeset
12 border-style: solid;
7d753658dc0e Add line-number alignment for snippet display
dellsystem <ilostwaldo@gmail.com>
parents: 102
diff changeset
13 border-color: @lightGrey;
7d753658dc0e Add line-number alignment for snippet display
dellsystem <ilostwaldo@gmail.com>
parents: 102
diff changeset
14 border-width: 0 1px;
7d753658dc0e Add line-number alignment for snippet display
dellsystem <ilostwaldo@gmail.com>
parents: 102
diff changeset
15 padding: 0 10px;
7d753658dc0e Add line-number alignment for snippet display
dellsystem <ilostwaldo@gmail.com>
parents: 102
diff changeset
16 }
102
f872c643b056 Updates to snippet functionality (see details)
dellsystem <ilostwaldo@gmail.com>
parents: 80
diff changeset
17
104
7d753658dc0e Add line-number alignment for snippet display
dellsystem <ilostwaldo@gmail.com>
parents: 102
diff changeset
18 .snippet tr {
7d753658dc0e Add line-number alignment for snippet display
dellsystem <ilostwaldo@gmail.com>
parents: 102
diff changeset
19 &:first-child td {
7d753658dc0e Add line-number alignment for snippet display
dellsystem <ilostwaldo@gmail.com>
parents: 102
diff changeset
20 border-top-width: 1px;
7d753658dc0e Add line-number alignment for snippet display
dellsystem <ilostwaldo@gmail.com>
parents: 102
diff changeset
21 padding-top: 10px;
7d753658dc0e Add line-number alignment for snippet display
dellsystem <ilostwaldo@gmail.com>
parents: 102
diff changeset
22 .border-radius(7px 7px 0 0);
7d753658dc0e Add line-number alignment for snippet display
dellsystem <ilostwaldo@gmail.com>
parents: 102
diff changeset
23 }
7d753658dc0e Add line-number alignment for snippet display
dellsystem <ilostwaldo@gmail.com>
parents: 102
diff changeset
24
7d753658dc0e Add line-number alignment for snippet display
dellsystem <ilostwaldo@gmail.com>
parents: 102
diff changeset
25 &:last-child td {
7d753658dc0e Add line-number alignment for snippet display
dellsystem <ilostwaldo@gmail.com>
parents: 102
diff changeset
26 border-bottom-width: 1px;
7d753658dc0e Add line-number alignment for snippet display
dellsystem <ilostwaldo@gmail.com>
parents: 102
diff changeset
27 padding-bottom: 10px;
7d753658dc0e Add line-number alignment for snippet display
dellsystem <ilostwaldo@gmail.com>
parents: 102
diff changeset
28 .border-radius(0 0 7px 7px);
102
f872c643b056 Updates to snippet functionality (see details)
dellsystem <ilostwaldo@gmail.com>
parents: 80
diff changeset
29 }
f872c643b056 Updates to snippet functionality (see details)
dellsystem <ilostwaldo@gmail.com>
parents: 80
diff changeset
30 }
f872c643b056 Updates to snippet functionality (see details)
dellsystem <ilostwaldo@gmail.com>
parents: 80
diff changeset
31
104
7d753658dc0e Add line-number alignment for snippet display
dellsystem <ilostwaldo@gmail.com>
parents: 102
diff changeset
32 .snippet table {
7d753658dc0e Add line-number alignment for snippet display
dellsystem <ilostwaldo@gmail.com>
parents: 102
diff changeset
33 font-family: monospace;
7d753658dc0e Add line-number alignment for snippet display
dellsystem <ilostwaldo@gmail.com>
parents: 102
diff changeset
34 border-spacing: 0;
7d753658dc0e Add line-number alignment for snippet display
dellsystem <ilostwaldo@gmail.com>
parents: 102
diff changeset
35 td {
7d753658dc0e Add line-number alignment for snippet display
dellsystem <ilostwaldo@gmail.com>
parents: 102
diff changeset
36 vertical-align: top;
7d753658dc0e Add line-number alignment for snippet display
dellsystem <ilostwaldo@gmail.com>
parents: 102
diff changeset
37 }
102
f872c643b056 Updates to snippet functionality (see details)
dellsystem <ilostwaldo@gmail.com>
parents: 80
diff changeset
38 }