← Back to branch summary

~ubuntu-branches/ubuntu/vivid/emscripten/vivid

« back to all changes in this revision

Viewing changes to tests/lua/doc/lua.css

  • Committer: Package Import Robot
  • Author(s): Sylvestre Ledru
  • Date: 2013-05-02 13:11:51 UTC
  • Revision ID: package-import@ubuntu.com-20130502131151-q8dvteqr1ef2x7xz
Tags: upstream-1.4.1~20130504~adb56cb
Import upstream version 1.4.1~20130504~adb56cb

Show diffs side-by-side

added added

removed removed

Lines of Context:
tests/lua/doc/lua.css
 
1
body {
 
2
        color: #000000 ;
 
3
        background-color: #FFFFFF ;
 
4
        font-family: Helvetica, Arial, sans-serif ;
 
5
        text-align: justify ;
 
6
        margin-right: 30px ;
 
7
        margin-left: 30px ;
 
8
}
 
9
 
 
10
h1, h2, h3, h4 {
 
11
        font-family: Verdana, Geneva, sans-serif ;
 
12
        font-weight: normal ;
 
13
        font-style: italic ;
 
14
}
 
15
 
 
16
h2 {
 
17
        padding-top: 0.4em ;
 
18
        padding-bottom: 0.4em ;
 
19
        padding-left: 1em ;
 
20
        padding-right: 1em ;
 
21
        background-color: #E0E0FF ;
 
22
        border-radius: 8px ;
 
23
}
 
24
 
 
25
h3 {
 
26
        padding-left: 0.5em ;
 
27
        border-left: solid #E0E0FF 1em ;
 
28
}
 
29
 
 
30
table h3 {
 
31
        padding-left: 0px ;
 
32
        border-left: none ;
 
33
}
 
34
 
 
35
a:link {
 
36
        color: #000080 ;
 
37
        background-color: inherit ;
 
38
        text-decoration: none ;
 
39
}
 
40
 
 
41
a:visited {
 
42
        background-color: inherit ;
 
43
        text-decoration: none ;
 
44
}
 
45
 
 
46
a:link:hover, a:visited:hover {
 
47
        color: #000080 ;
 
48
        background-color: #E0E0FF ;
 
49
}
 
50
 
 
51
a:link:active, a:visited:active {
 
52
        color: #FF0000 ;
 
53
}
 
54
 
 
55
hr {
 
56
        border: 0 ;
 
57
        height: 1px ;
 
58
        color: #a0a0a0 ;
 
59
        background-color: #a0a0a0 ;
 
60
}
 
61
 
 
62
:target {
 
63
        background-color: #F8F8F8 ;
 
64
        padding: 8px ;
 
65
        border: solid #a0a0a0 2px ;
 
66
}
 
67
 
 
68
.footer {
 
69
        color: gray ;
 
70
        font-size: small ;
 
71
}
 
72
 
 
73
input[type=text] {
 
74
        border: solid #a0a0a0 2px ;
 
75
        border-radius: 2em ;
 
76
        -moz-border-radius: 2em ;
 
77
        background-image: url('images/search.png') ;
 
78
        background-repeat: no-repeat;
 
79
        background-position: 4px center ;
 
80
        padding-left: 20px ;
 
81
        height: 2em ;
 
82
}
 
83