/[svn]/web/trunk/www.linuxsampler.org/index.css
ViewVC logotype

Diff of /web/trunk/www.linuxsampler.org/index.css

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1268 by schoenebeck, Tue Aug 7 19:56:17 2007 UTC revision 2033 by persson, Sun Nov 22 10:03:14 2009 UTC
# Line 5  body    { Line 5  body    {
5  #mainwindow {  #mainwindow {
6          border: 1px solid black;          border: 1px solid black;
7          background: white;          background: white;
         overflow: auto;  
         width: 100%;  
8          padding: 0;          padding: 0;
9          }          }
10    
11    .lsbackground {
12            overflow: hidden;
13            width: 100%;
14            }
15    
16  #contents {  #contents {
17          margin: 0;          margin: 0;
18          }          }
19    
20    
21  h2      {  h2      {
22          font-size: 14pt;          font-size: 14.67px;
23          font-family: sans-serif;          font-family: sans-serif,Arial,Helvetica;
24            font-style: normal;
25            font-weight: bold;
26          border: none;          border: none;
27          background: rgb(240,240,240);          background: rgb(240,240,240);
28          margin: 0.8em 2em;          margin: 0.8em 0.4em 0.8em 0.8em;
29          padding: 0.4em 0.4em;          padding: 0.4em 0.4em 0.4em 0.4em;
30          }          }
31    
32  h3      {  h3      {
33          font-size: 14pt;          font-size: 14.67px;
34          font-family: sans-serif;          font-family: sans-serif,Arial,Helvetica;
35          font-weight: normal;          font-style: normal;
36            font-weight: bold;
37          border: none;          border: none;
38          background: rgb(240,240,240);          background: rgb(240,240,240);
39          margin: 0.8em 2em;          margin: 0.8em 0.4em 0.8em 0.8em;
40          padding: 0.4em 0.4em;          padding: 0.4em 0.4em 0.4em 0.4em;
41          }          }
42    
43  .hidden  .hidden
# Line 45  img { Line 51  img {
51          }          }
52    
53  table th {  table th {
54          font-size: 14pt;          font-size: 14.67px;
55          font-family: sans-serif;          font-family: sans-serif,Arial,Helvetica;
56            font-style: normal;
57          font-weight: bold;          font-weight: bold;
58          background: rgb(240,240,240);          background: rgb(240,240,240);
59          }          }
60    
61  .code {  .code {
62          width: 100%;          overflow: auto;
63            font-size: 10.67px;
64            /*max-width: 300;*/
65          background-color: #F6F6F6;          background-color: #F6F6F6;
66          border: 2px outset GhostWhite;          border: 2px outset GhostWhite;
67            margin: 0em 3em 0em 3.2em;
68          padding-left: 3px;          padding-left: 3px;
69          padding-right: 3px;          padding-right: 3px;
70          padding-top: 3px;          padding-top: 3px;
71          padding-bottom: 3px;          padding-bottom: 3px;
72          }          }
73    
74    .figure {
75            overflow: auto;
76            font-size: 10.67px;
77            margin: 0em 3em 0em 3.2em;
78            padding-left: 3px;
79            padding-right: 3px;
80            padding-top: 3px;
81            padding-bottom: 3px;
82    }
83    
84  table.default {  table.default {
85          font-size: 12pt;          font-size: 13.33px;
86          font-family: sans-serif;          font-family: sans-serif,Arial,Helvetica;
87          text-align: justify;          text-align: justify;
88          font-style: normal;          font-style: normal;
89          font-weight: normal;          font-weight: normal;
90          padding: 1em 2.2em;          padding: 0em 0em 0em 0em;
91            margin: 0em 0em 0em 2em;
92          }          }
93    
94    table.decorated {
95            border: none;
96            background-color: transparent;
97            font-size: 13.33px;
98            font-family: sans-serif,Arial,Helvetica;
99            text-align: justify;
100            font-style: normal;
101            font-weight: normal;
102            padding: 0em 0em 0em 0em;
103            margin: 0em 0em 0em 2em;
104    }
105    
106    td.decorated {
107            border: none;
108            background-color: #F2F2F4;
109            font-size: 13.33px;
110            font-family: sans-serif,Arial,Helvetica;
111            font-style: normal;
112            font-weight: normal;
113            text-align: left;
114            padding: 0.6em;
115    }
116    
117    td.decorated_header {
118            border: none;
119            background-color: #E0E0FF;
120            font-size: 13.33px;
121            font-family: sans-serif,Arial,Helvetica;
122            font-style: normal;
123            font-weight: bold;
124            text-align: left;
125            padding: 0.6em;
126    }
127    
128    .boxed {
129            padding: 0.6em;
130            border: 1px outset White;
131            background-color: #F0F0F0;
132            font-size: 13.33px;
133            font-family: sans-serif,Arial,Helvetica;
134            text-align: justify;
135            font-style: normal;
136            font-weight: normal;
137    }
138    
139  td.bordered {  td.bordered {
140          text-align: center;          text-align: center;
141          padding: 0.6em;          padding: 0.6em;
# Line 82  td.default { Line 148  td.default {
148          }          }
149    
150  .formatmatrix {  .formatmatrix {
151          font-size: 12pt;          font-size: 13.33px;
152          font-family: sans-serif;          font-family: sans-serif,Arial,Helvetica;
153          text-align: justify;          text-align: justify;
154          font-style: normal;          font-style: normal;
155          font-weight: normal;          font-weight: normal;
# Line 117  td.default { Line 183  td.default {
183          }          }
184    
185  .linkstable {  .linkstable {
186          font-size: 12pt;          font-size: 13.33px;
187          font-family: sans-serif;          font-family: sans-serif,Arial,Helvetica;
188          text-align: justify;          text-align: justify;
189          font-style: normal;          font-style: normal;
190          font-weight: normal;          font-weight: normal;
# Line 132  td.default { Line 198  td.default {
198          text-decoration: underline;          text-decoration: underline;
199          }          }
200    
201  table.default {  a:link {
202          margin-left: 2cm          color: #007;
203          }  }
204    
205    a:visited {
206            color: #889;
207    }
208    
209    p {
210            font-size: 13.33px;
211            font-family: sans-serif,Arial,Helvetica;
212            text-align: justify;
213            font-style: normal;
214            font-weight: normal;
215            padding: 1em 2.2em;
216    }
217    
218  p.default  {  p.default  {
219          font-size: 12pt;          font-size: 13.33px;
220          font-family: sans-serif;          font-family: sans-serif,Arial,Helvetica;
221          text-align: justify;          text-align: justify;
222          font-style: normal;          font-style: normal;
223          font-weight: normal;          font-weight: normal;
224          padding: 1em 2.2em;          padding: 1em 2.2em;
225          }          }
226    
227    p.caution  {
228            border: solid 1px;
229            background: rgb(255, 180, 180);
230            font-size: 13.33px;
231            font-family: sans-serif,Arial,Helvetica;
232            text-align: justify;
233            font-style: normal;
234            font-weight: normal;
235            margin: 1.6em 1.2em 1.6em 1.2em;
236            padding: 0.6em 0.6em 0.6em 0.6em;
237    }
238    
239  table.pure {  table.pure {
240          font-size: 12pt;          font-size: 13.33px;
241          font-family: sans-serif;          font-family: sans-serif,Arial,Helvetica;
242          font-style: normal;          font-style: normal;
243          font-weight: normal;          font-weight: normal;
244          }          }
245    
246  div.groupbox {  div.groupbox {
247          background: rgb(240, 240, 240);          background: rgb(240, 240, 240);
248          font-size: 12pt;          font-size: 13.33px;
249          font-family: sans-serif;          font-family: sans-serif,Arial,Helvetica;
250          text-align: justify;          text-align: justify;
251          font-style: normal;          font-style: normal;
252          font-weight: normal;          font-weight: normal;
# Line 166  div.groupbox { Line 257  div.groupbox {
257  p.groupbox {  p.groupbox {
258          border: none;          border: none;
259          background: rgb(240, 240, 240);          background: rgb(240, 240, 240);
260          font-size: 12pt;          font-size: 13.33px;
261          font-family: sans-serif;          font-family: sans-serif,Arial,Helvetica;
262          text-align: justify;          text-align: justify;
263          font-style: normal;          font-style: normal;
264          font-weight: normal;          font-weight: normal;
# Line 176  p.groupbox { Line 267  p.groupbox {
267          }          }
268    
269  span.default  {  span.default  {
270          font-size: 12pt;          font-size: 13.33px;
271          font-family: sans-serif;          font-family: sans-serif,Arial,Helvetica;
272          text-align: justify;          text-align: justify;
273          font-style: normal;          font-style: normal;
274          font-weight: normal;          font-weight: normal;
# Line 201  ol.default     { Line 292  ol.default     {
292    
293  li      {  li      {
294          padding: 0.2em 0.2em 0.2em 0.2em;          padding: 0.2em 0.2em 0.2em 0.2em;
295          font-size: 12pt;          font-size: 13.33px;
296          font-family: sans-serif;          font-family: sans-serif,Arial,Helvetica;
297          text-align: justify;          text-align: justify;
298          }          }
299    
300  li.ok   {  li.ok   {
301          list-style-image: url("gfx/okay_green.png");          list-style-image: url("gfx/okay_green.png");
302          padding: 0.2em 0.2em 0.2em 0.2em;          padding: 0.2em 0.2em 0.2em 0.2em;
303          font-size: 12pt;          font-size: 13.33px;
304          font-family: sans-serif;          font-family: sans-serif,Arial,Helvetica;
305          text-align: justify;          text-align: justify;
306          }          }
307    
308  li.false        {  li.false        {
309          list-style-image: url("gfx/x.png");          list-style-image: url("gfx/x.png");
310          padding: 0.2em 0.2em 0.2em 0.2em;          padding: 0.2em 0.2em 0.2em 0.2em;
311          font-size: 12pt;          font-size: 13.33px;
312          font-family: sans-serif;          font-family: sans-serif,Arial,Helvetica;
313          text-align: justify;          text-align: justify;
314          }          }
315    
316  li.partly       {  li.partly       {
317          list-style-image: url("gfx/yellow_light.png");          list-style-image: url("gfx/yellow_light.png");
318          padding: 0.2em 0.2em 0.2em 0.2em;          padding: 0.2em 0.2em 0.2em 0.2em;
319          font-size: 12pt;          font-size: 13.33px;
320          font-family: sans-serif;          font-family: sans-serif,Arial,Helvetica;
321          text-align: justify;          text-align: justify;
322          }          }
323    
# Line 262  div.news { Line 353  div.news {
353      border: 1px dotted;      border: 1px dotted;
354      margin: 0.8em 2em;      margin: 0.8em 2em;
355      padding: 0.4em 0.4em;      padding: 0.4em 0.4em;
356      font-size: 11pt;      font-size: 13.33px;
357      font-family: sans-serif;      font-family: sans-serif,Arial,Helvetica;
358      text-align: justify;      text-align: justify;
359      font-style: normal;      font-style: normal;
360      font-weight: normal;      font-weight: normal;
# Line 277  ul.news { Line 368  ul.news {
368  }  }
369    
370  li.news {  li.news {
371      font-size: 11pt;      font-size: 13.33px;
372      font-family: sans-serif;      font-family: sans-serif,Arial,Helvetica;
373      text-align: justify;      text-align: justify;
374      font-style: normal;      font-style: normal;
375      font-weight: normal;      font-weight: normal;
# Line 287  li.news { Line 378  li.news {
378  span.news_date {  span.news_date {
379      font-weight: bold;      font-weight: bold;
380  }  }
381    
382    span.news_footer {
383        margin: 0em 2em;
384        font-size: 13.33px;
385        font-family: sans-serif,Arial,Helvetica;
386        text-align: left;
387        font-style: normal;
388        font-weight: normal;
389    }
390    
391    
392    
393    /* CVS Commits section */
394    
395    table.cvs {
396        font-size: 13.33px;
397        font-family: sans-serif,Arial,Helvetica;
398        text-align: justify;
399        font-style: normal;
400        font-weight: normal;
401        margin: 0em 2em;
402    }
403    
404    table.cvs_project {
405        border: 1px dotted;
406    }
407    
408    #cvs_content {
409        height: 300px;
410        overflow: hidden;
411        font-size: 13.33px;
412        font-family: sans-serif,Arial,Helvetica;
413        text-align: justify;
414        font-style: normal;
415        font-weight: normal;
416    }
417    
418    span.cvs_footer {
419        font-size: 13.33px;
420        font-family: sans-serif,Arial,Helvetica;
421        text-align: justify;
422        font-style: normal;
423        font-weight: normal;
424    }
Legend:
Removed from v.1268  
changed lines
  Added in v.2033
  ViewVC Help
Powered by ViewVC