/[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 1947 by schoenebeck, Wed Jul 15 09:13:06 2009 UTC revision 2257 by schoenebeck, Sun Aug 21 10:15:21 2011 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: 11pt;          font-size: 14.67px;
23          font-family: sans-serif,Arial,Helvetica;          font-family: sans-serif,Arial,Helvetica;
24          font-style: normal;          font-style: normal;
25          font-weight: bold;          font-weight: bold;
# Line 27  h2     { Line 30  h2     {
30          }          }
31    
32  h3      {  h3      {
33          font-size: 11pt;          font-size: 14.67px;
34          font-family: sans-serif,Arial,Helvetica;          font-family: sans-serif,Arial,Helvetica;
35          font-style: normal;          font-style: normal;
36          font-weight: bold;          font-weight: bold;
# Line 48  img { Line 51  img {
51          }          }
52    
53  table th {  table th {
54          font-size: 11pt;          font-size: 14.67px;
55          font-family: sans-serif,Arial,Helvetica;          font-family: sans-serif,Arial,Helvetica;
56          font-style: normal;          font-style: normal;
57          font-weight: bold;          font-weight: bold;
# Line 57  table th { Line 60  table th {
60    
61  .code {  .code {
62          overflow: auto;          overflow: auto;
63          font-size: 8pt;          font-size: 10.67px;
64          /*max-width: 300;*/          /*max-width: 300;*/
65          background-color: #F6F6F6;          background-color: #F6F6F6;
66          border: 2px outset GhostWhite;          border: 2px outset GhostWhite;
# Line 70  table th { Line 73  table th {
73    
74  .figure {  .figure {
75          overflow: auto;          overflow: auto;
76          font-size: 8pt;          font-size: 10.67px;
77          margin: 0em 3em 0em 3.2em;          margin: 0em 3em 0em 3.2em;
78          padding-left: 3px;          padding-left: 3px;
79          padding-right: 3px;          padding-right: 3px;
# Line 78  table th { Line 81  table th {
81          padding-bottom: 3px;          padding-bottom: 3px;
82  }  }
83    
84    table {
85        font-size: 13.33px;
86        font-family: sans-serif,Arial,Helvetica;
87        text-align: justify;
88        font-style: normal;
89        font-weight: normal;
90        padding: 0em 0em 0em 0em;
91        margin: 0em 0em 0em 0em;
92        }
93    
94  table.default {  table.default {
95          font-size: 10pt;          font-size: 13.33px;
96          font-family: sans-serif,Arial,Helvetica;          font-family: sans-serif,Arial,Helvetica;
97          text-align: justify;          text-align: justify;
98          font-style: normal;          font-style: normal;
# Line 91  table.default { Line 104  table.default {
104  table.decorated {  table.decorated {
105          border: none;          border: none;
106          background-color: transparent;          background-color: transparent;
107          font-size: 10pt;          font-size: 13.33px;
108          font-family: sans-serif,Arial,Helvetica;          font-family: sans-serif,Arial,Helvetica;
109          text-align: justify;          text-align: justify;
110          font-style: normal;          font-style: normal;
# Line 103  table.decorated { Line 116  table.decorated {
116  td.decorated {  td.decorated {
117          border: none;          border: none;
118          background-color: #F2F2F4;          background-color: #F2F2F4;
119          font-size: 10pt;          font-size: 13.33px;
120          font-family: sans-serif,Arial,Helvetica;          font-family: sans-serif,Arial,Helvetica;
121          font-style: normal;          font-style: normal;
122          font-weight: normal;          font-weight: normal;
# Line 114  td.decorated { Line 127  td.decorated {
127  td.decorated_header {  td.decorated_header {
128          border: none;          border: none;
129          background-color: #E0E0FF;          background-color: #E0E0FF;
130          font-size: 10pt;          font-size: 13.33px;
131          font-family: sans-serif,Arial,Helvetica;          font-family: sans-serif,Arial,Helvetica;
132          font-style: normal;          font-style: normal;
133          font-weight: bold;          font-weight: bold;
# Line 122  td.decorated_header { Line 135  td.decorated_header {
135          padding: 0.6em;          padding: 0.6em;
136  }  }
137    
138    table.decocomp {
139        border: none;
140        background-color: transparent;
141        font-size: 13.33px;
142        font-family: sans-serif,Arial,Helvetica;
143        text-align: justify;
144        font-style: normal;
145        font-weight: normal;
146        padding: 0em 0em 0em 0em;
147        margin: 0em 0em 0em 1em;
148    }
149    
150    td.decocomp {
151        border: none;
152        background-color: #F2F2F4;
153        font-size: 13.33px;
154        font-family: sans-serif,Arial,Helvetica;
155        font-style: normal;
156        font-weight: normal;
157        text-align: left;
158        padding-left: 0.6em;
159        padding-right: 0.6em;
160        padding-top: 0.1em;
161        padding-bottom: 0.1em;
162    }
163    
164    td.decocomp_header {
165        border: none;
166        background-color: #dddddd;
167        font-size: 13.33px;
168        font-family: sans-serif,Arial,Helvetica;
169        font-style: normal;
170        font-weight: bold;
171        text-align: left;
172        padding: 0.6em;
173    }
174    
175  .boxed {  .boxed {
176          padding: 0.6em;          padding: 0.6em;
177          border: 1px outset White;          border: 1px outset White;
178          background-color: #F0F0F0;          background-color: #F0F0F0;
179          font-size: 10pt;          font-size: 13.33px;
180          font-family: sans-serif,Arial,Helvetica;          font-family: sans-serif,Arial,Helvetica;
181          text-align: justify;          text-align: justify;
182          font-style: normal;          font-style: normal;
# Line 145  td.default { Line 195  td.default {
195          }          }
196    
197  .formatmatrix {  .formatmatrix {
198          font-size: 10pt;          font-size: 13.33px;
199          font-family: sans-serif,Arial,Helvetica;          font-family: sans-serif,Arial,Helvetica;
200          text-align: justify;          text-align: justify;
201          font-style: normal;          font-style: normal;
# Line 180  td.default { Line 230  td.default {
230          }          }
231    
232  .linkstable {  .linkstable {
233          font-size: 10pt;          font-size: 13.33px;
234          font-family: sans-serif,Arial,Helvetica;          font-family: sans-serif,Arial,Helvetica;
235          text-align: justify;          text-align: justify;
236          font-style: normal;          font-style: normal;
# Line 204  a:visited { Line 254  a:visited {
254  }  }
255    
256  p {  p {
257          font-size: 10pt;          font-size: 13.33px;
258          font-family: sans-serif,Arial,Helvetica;          font-family: sans-serif,Arial,Helvetica;
259          text-align: justify;          text-align: justify;
260          font-style: normal;          font-style: normal;
261          font-weight: normal;          font-weight: normal;
262          padding: 1em 2.2em;          padding-left: 1.2em;
263            padding-right: 1.2em;
264            padding-top: 0.0em;
265            padding-bottom: 0.0em;
266  }  }
267    
268  p.default  {  p.default  {
269          font-size: 10pt;          font-size: 13.33px;
270          font-family: sans-serif,Arial,Helvetica;          font-family: sans-serif,Arial,Helvetica;
271          text-align: justify;          text-align: justify;
272          font-style: normal;          font-style: normal;
# Line 224  p.default  { Line 277  p.default  {
277  p.caution  {  p.caution  {
278          border: solid 1px;          border: solid 1px;
279          background: rgb(255, 180, 180);          background: rgb(255, 180, 180);
280          font-size: 10pt;          font-size: 13.33px;
281          font-family: sans-serif,Arial,Helvetica;          font-family: sans-serif,Arial,Helvetica;
282          text-align: justify;          text-align: justify;
283          font-style: normal;          font-style: normal;
# Line 234  p.caution  { Line 287  p.caution  {
287  }  }
288    
289  table.pure {  table.pure {
290          font-size: 10pt;          font-size: 13.33px;
291          font-family: sans-serif,Arial,Helvetica;          font-family: sans-serif,Arial,Helvetica;
292          font-style: normal;          font-style: normal;
293          font-weight: normal;          font-weight: normal;
# Line 242  table.pure { Line 295  table.pure {
295    
296  div.groupbox {  div.groupbox {
297          background: rgb(240, 240, 240);          background: rgb(240, 240, 240);
298          font-size: 10pt;          font-size: 13.33px;
299          font-family: sans-serif,Arial,Helvetica;          font-family: sans-serif,Arial,Helvetica;
300          text-align: justify;          text-align: justify;
301          font-style: normal;          font-style: normal;
# Line 254  div.groupbox { Line 307  div.groupbox {
307  p.groupbox {  p.groupbox {
308          border: none;          border: none;
309          background: rgb(240, 240, 240);          background: rgb(240, 240, 240);
310          font-size: 10pt;          font-size: 13.33px;
311          font-family: sans-serif,Arial,Helvetica;          font-family: sans-serif,Arial,Helvetica;
312          text-align: justify;          text-align: justify;
313          font-style: normal;          font-style: normal;
# Line 264  p.groupbox { Line 317  p.groupbox {
317          }          }
318    
319  span.default  {  span.default  {
320          font-size: 10pt;          font-size: 13.33px;
321          font-family: sans-serif,Arial,Helvetica;          font-family: sans-serif,Arial,Helvetica;
322          text-align: justify;          text-align: justify;
323          font-style: normal;          font-style: normal;
# Line 289  ol.default     { Line 342  ol.default     {
342    
343  li      {  li      {
344          padding: 0.2em 0.2em 0.2em 0.2em;          padding: 0.2em 0.2em 0.2em 0.2em;
345          font-size: 10pt;          font-size: 13.33px;
346          font-family: sans-serif,Arial,Helvetica;          font-family: sans-serif,Arial,Helvetica;
347          text-align: justify;          text-align: justify;
348          }          }
# Line 297  li     { Line 350  li     {
350  li.ok   {  li.ok   {
351          list-style-image: url("gfx/okay_green.png");          list-style-image: url("gfx/okay_green.png");
352          padding: 0.2em 0.2em 0.2em 0.2em;          padding: 0.2em 0.2em 0.2em 0.2em;
353          font-size: 10pt;          font-size: 13.33px;
354          font-family: sans-serif,Arial,Helvetica;          font-family: sans-serif,Arial,Helvetica;
355          text-align: justify;          text-align: justify;
356          }          }
# Line 305  li.ok  { Line 358  li.ok  {
358  li.false        {  li.false        {
359          list-style-image: url("gfx/x.png");          list-style-image: url("gfx/x.png");
360          padding: 0.2em 0.2em 0.2em 0.2em;          padding: 0.2em 0.2em 0.2em 0.2em;
361          font-size: 10pt;          font-size: 13.33px;
362          font-family: sans-serif,Arial,Helvetica;          font-family: sans-serif,Arial,Helvetica;
363          text-align: justify;          text-align: justify;
364          }          }
# Line 313  li.false       { Line 366  li.false       {
366  li.partly       {  li.partly       {
367          list-style-image: url("gfx/yellow_light.png");          list-style-image: url("gfx/yellow_light.png");
368          padding: 0.2em 0.2em 0.2em 0.2em;          padding: 0.2em 0.2em 0.2em 0.2em;
369          font-size: 10pt;          font-size: 13.33px;
370          font-family: sans-serif,Arial,Helvetica;          font-family: sans-serif,Arial,Helvetica;
371          text-align: justify;          text-align: justify;
372          }          }
# Line 350  div.news { Line 403  div.news {
403      border: 1px dotted;      border: 1px dotted;
404      margin: 0.8em 2em;      margin: 0.8em 2em;
405      padding: 0.4em 0.4em;      padding: 0.4em 0.4em;
406      font-size: 10pt;      font-size: 13.33px;
407      font-family: sans-serif,Arial,Helvetica;      font-family: sans-serif,Arial,Helvetica;
408      text-align: justify;      text-align: justify;
409      font-style: normal;      font-style: normal;
# Line 365  ul.news { Line 418  ul.news {
418  }  }
419    
420  li.news {  li.news {
421      font-size: 10pt;      font-size: 13.33px;
422      font-family: sans-serif,Arial,Helvetica;      font-family: sans-serif,Arial,Helvetica;
423      text-align: justify;      text-align: justify;
424      font-style: normal;      font-style: normal;
# Line 378  span.news_date { Line 431  span.news_date {
431    
432  span.news_footer {  span.news_footer {
433      margin: 0em 2em;      margin: 0em 2em;
434      font-size: 10pt;      font-size: 13.33px;
435      font-family: sans-serif,Arial,Helvetica;      font-family: sans-serif,Arial,Helvetica;
436      text-align: left;      text-align: left;
437      font-style: normal;      font-style: normal;
# Line 390  span.news_footer { Line 443  span.news_footer {
443  /* CVS Commits section */  /* CVS Commits section */
444    
445  table.cvs {  table.cvs {
446      font-size: 10pt;      font-size: 13.33px;
447      font-family: sans-serif,Arial,Helvetica;      font-family: sans-serif,Arial,Helvetica;
448      text-align: justify;      text-align: justify;
449      font-style: normal;      font-style: normal;
# Line 405  table.cvs_project { Line 458  table.cvs_project {
458  #cvs_content {  #cvs_content {
459      height: 300px;      height: 300px;
460      overflow: hidden;      overflow: hidden;
461      font-size: 10pt;      font-size: 13.33px;
462      font-family: sans-serif,Arial,Helvetica;      font-family: sans-serif,Arial,Helvetica;
463      text-align: justify;      text-align: justify;
464      font-style: normal;      font-style: normal;
# Line 413  table.cvs_project { Line 466  table.cvs_project {
466  }  }
467    
468  span.cvs_footer {  span.cvs_footer {
469      font-size: 10pt;      font-size: 13.33px;
470      font-family: sans-serif,Arial,Helvetica;      font-family: sans-serif,Arial,Helvetica;
471      text-align: justify;      text-align: justify;
472      font-style: normal;      font-style: normal;
Legend:
Removed from v.1947  
changed lines
  Added in v.2257
  ViewVC Help
Powered by ViewVC