/lenasys/trunk

To get this branch, use:
bzr branch http://gegoxaren.bato24.eu/bzr/lenasys/trunk

« back to all changes in this revision

Viewing changes to Code Viewer Alt/style.css

  • Committer: c11emian
  • Date: 2013-04-05 08:35:29 UTC
  • mto: (19.4.3 lenasys)
  • mto: This revision was merged to the branch mainline in revision 21.
  • Revision ID: c11emian@student.his.se-20130405083529-3bpc9l6i6z8xl8np
Fixed bug #1164571 by changing the name of newbutton() to newButton() in Parser_Test.html, and bug 
#1164550 by changing all the function-calls named maketoken() to makeToken() in Parser_Test.js

Show diffs side-by-side

added added

removed removed

Lines of Context:
Code Viewer Alt/style.css
 
1
.group {
 
2
        display: block;
 
3
        padding: 1em;
 
4
        width: 100%;
 
5
        margin: auto auto;
 
6
        font-family: "Franklin Gothic Medium", "Franklin Gothic", "ITC Franklin Gothic", Arial, sans-serif;
 
7
}
 
8
 
 
9
.group h1 {
 
10
        font-weight: normal;
 
11
        font-size: 1.8em;
 
12
        margin-bottom: 1em;
 
13
        font-family: Cambria, Georgia, serif;
 
14
}
 
15
 
 
16
.group.info {
 
17
        padding: 0.4em;
 
18
        margin: 0.5em;
 
19
        font-size: 1em;
 
20
        color: #000;
 
21
}
 
22
 
 
23
.group .info:first-letter {
 
24
        font-size:1.3em;
 
25
}
 
26
 
 
27
.group h2 {
 
28
        font-family: Calibri, Candara, Segoe, "Segoe UI", Optima, Arial, sans-serif; 
 
29
        border-bottom: 2px solid #000;
 
30
        color: #fff;
 
31
        background: #c0d0e0;
 
32
        background-color: #c0d0e0;
 
33
        text-shadow: 1px 1px 2px #000;
 
34
        font-weight:normal;            
 
35
        background: linear-gradient(to top, #abc 10%, #89a 90%, #678 99% );
 
36
        background: -webkit-linear-gradient(bottom, #abc 10%, #89a 90%, #678 99%);
 
37
        background: -moz-linear-gradient(bottom, #abc 10%, #89a 90%, #678 99%);
 
38
        filter: progid:DXImageTransform.Microsoft.gradient(startColorstr='#6a7b8c', endColorstr='#aabbcc')
 
39
        font-size: 1.4em;
 
40
        margin-top: 1em;
 
41
        margin-bottom: 0;
 
42
        padding:3px;
 
43
        padding-left:20px;
 
44
}
 
45
 
 
46
a {
 
47
        line-height: 2em;
 
48
        margin-left: 1.3em;
 
49
        color: black;
 
50
        text-decoration: underline;
 
51
        font-size: 1em;
 
52
}
 
53
 
 
54
li {
 
55
        color: #555;
 
56
}
 
57
 
 
58
a:hover {
 
59
        text-decoration: none;
 
60
}
 
61
 
 
62
.container {
 
63
        border-left: 2px dotted #ddd;
 
64
        margin-left: 8px;       
 
65
}
 
66
 
 
67
.container.demo {
 
68
        float:right;
 
69
}
 
70
 
 
71
body{
 
72
        margin:0;
 
73
}
 
74
 
 
75
#menu {
 
76
        position:absolute;
 
77
        top:40px;
 
78
        left:0px;
 
79
        width:10.5%;
 
80
        width:96%;
 
81
        padding: 10px 0 1% 0.3%;
 
82
        background: #c0d0e0;
 
83
        background-color: #c0d0e0;
 
84
        _border-bottom-right-radius: 1.3em;
 
85
        _border-top-right-radius: 1.3em;
 
86
        border-radius: 0 1.3em 1.3em 0;
 
87
        border-bottom: 2px solid #000;
 
88
        border-right: 1px solid #000;
 
89
        color: #fff;
 
90
        text-shadow: 1px 1px 2px #000;
 
91
        font-weight:bolder;
 
92
        background:#678;
 
93
        background-color:#678;
 
94
        filter: progid:DXImageTransform.Microsoft.gradient(startColorstr='#6a7b8c', endColorstr='#aabbcc')
 
95
        background: linear-gradient(to top, #abc 10%, #89a 90%, #678 99% );
 
96
        background: -webkit-linear-gradient(bottom, #abc 10%, #89a 90%, #678 99%);
 
97
        background: -moz-linear-gradient(bottom, #abc 10%, #89a 90%, #678 99%);
 
98
}
 
99
 
 
100
#menu #menuHeader{
 
101
        margin:0 0 1.5% 0;
 
102
        background:#333333;
 
103
        width:97%;
 
104
        height:31px;
 
105
        padding-left:10px;
 
106
        margin-left:-10px;
 
107
        border-radius: 0 10px 10px 0;
 
108
        cursor:pointer;
 
109
}
 
110
 
 
111
#menuHeader h3{
 
112
        float:left;
 
113
        font-family: Calibri, Candara, Segoe, "Segoe UI", Optima, Arial, sans-serif; 
 
114
        font-size:1.2em;
 
115
        background-color:#333;
 
116
        color:#fff;
 
117
        width:80%;
 
118
        margin-top:4px;
 
119
        padding:0;
 
120
}
 
121
 
 
122
#menuArrow {
 
123
        float:left;
 
124
        padding:0;
 
125
        margin-top:8px;
 
126
        width:15%;
 
127
}
 
128
 
 
129
#menu a {
 
130
        display:block;color:#fff;
 
131
        font-family: Calibri, Candara, Segoe, "Segoe UI", Optima, Arial, sans-serif; 
 
132
        text-decoration: none; 
 
133
        margin-left:1%;
 
134
        font-size:100%
 
135
}
 
136
 
 
137
#menu a:hover {
 
138
        font-weight:bolder;
 
139
        text-decoration:underline;
 
140
}
 
141
 
 
142
#menuItems {
 
143
        float:left;
 
144
        width:80%;
 
145
}
 
146
 
 
147
#sidebar {
 
148
        position:absolute;
 
149
        left:0px;
 
150
        top:0px;
 
151
        float:left;
 
152
        min-width:8em;
 
153
        width:auto;
 
154
        height:100%;
 
155
        overflow:auto;
 
156
}
 
157
 
 
158
#content { 
 
159
        position:absolute;
 
160
        left:8em;
 
161
        max-width:75%;
 
162
        min-width:20em;
 
163
}
 
164
 
 
165
.arrow{
 
166
        -webkit-transition-duration: 0.9s;
 
167
        -moz-transition-duration: 0.9s;
 
168
        -o-transition-duration: 0.9s;
 
169
        transition-duration: 0.9s;
 
170
        -webkit-transition-property: -webkit-transform;
 
171
        -moz-transition-property: -moz-transform;
 
172
        -o-transition-property: -o-transform;
 
173
        transition-property: transform;
 
174
        overflow:auto;
 
175
}
 
176
 
 
177
.rotateArrowCW {
 
178
        -webkit-transform:rotate(180deg);
 
179
        -moz-transform:rotate(180deg); 
 
180
        -o-transform:rotate(180deg);
 
181
}
 
 
b'\\ No newline at end of file'