source: public_html/style.css @ 14319

Last change on this file since 14319 was 14229, checked in by Mark Evenson, 12 years ago

website: More fussiness with CSS.

Need ehu to change permissions on common-lisp.net to update the rest.

  • Property svn:eol-style set to LF
File size: 2.9 KB
Line 
1body {
2    font-family: sans-serif;
3}
4
5div#main {
6    margin-left:auto;
7    margin-right:auto;
8    width: 80%;
9    max-width: 20cm;
10}
11
12div#title {
13    width: 80%;
14    margin-left: 10%;
15}
16
17.header {
18    text-align: center;
19    font-size: medium;
20    background-color: #3366ff;
21    color:  #ffffff;
22    border-radius: 1em;
23    border-width: 5px;
24    border-color:#002244;
25    padding: 1mm 1mm 1mm 5mm;
26    paddingleft: 10%;
27}
28
29.footer {
30    font-size: small;
31    font-style: italic;
32    text-align: right;
33    background-color:#3366ff;
34    color: #ffffff;
35    border-radius: 1em;
36    border-width: 2px;
37    border-color:#002244;
38    padding: 1mm 1mm 1mm 1mm;
39}
40
41.footer a:link, .footer a:visited {
42    font-weight: bold;
43    color: #ffffff;
44    text-decoration: underline;
45}
46
47.footer a:hover { 
48    font-weight:bold; 
49    color:#002244; 
50    text-decoration:underline; 
51}
52
53.check {
54    font-size: x-small;
55    text-align:right;
56}
57
58.check a:link { 
59    font-weight:bold;
60    color:#a0a0ff;
61    text-decoration:underline; 
62}
63
64.check a:visited { 
65    font-weight:bold;
66    color:#a0a0ff;
67    text-decoration:underline; 
68}
69
70.check a:hover { 
71    font-weight:bold;
72    color:#000000;
73    text-decoration:underline; 
74}
75
76.summary-header {
77    font-size: 120%;
78    font-weight: bold;
79    color: white;
80    background-color:  #6699ff;
81    text-align: center 
82}
83
84.summary-header span {
85    font-weight: normal;
86    font-size: 80%;
87}
88
89/* "rn" meaning release notes */
90div.rn {
91    float:        left;
92    width:        20cm;
93    margin-top:    1cm;
94    margin-bottom: 1cm;
95}
96div.rn dl {
97    width:      20cm;
98}
99div.rn dl dt {
100    border-radius: 1em;
101    font-family: sans-serif;
102    font-weight:       bold;
103    margin:         1cm;
104    background:        #3366ff;
105    color:             #fff;
106    padding-left:       1em;
107    padding-top:        0.3em;
108    padding-bottom:     0.3em;
109  border-top-left-radius: 1em;
110  border-bottom-right-radius: 0.5em;
111}
112div.rn dl dd {
113    margin-top: 1em;
114    margin-bottom: 1em;
115}
116
117td { 
118    font-size: 85%; 
119}
120dt { 
121    font-weight: bold 
122}
123dd dt { 
124    font-weight: bold; font-style: italic 
125}
126
127table.downloads {
128    color: black;
129    font-weight: bold;
130    font-size: larger;
131}
132
133table.downloads a {
134    font-weight: normal;
135    font-size:smaller;
136}
137
138table.downloads a.asc {
139    font-size: smaller;
140}
141
142td ul { 
143    margin:0;
144}
145
146td.summary-header { 
147    padding: .3em;
148    border-radius: .3em;
149}
150
151td.summary-header a:link, td.summary-header a:visited {
152    color: white;
153}
154
155div#left-menu {
156    background-color: #3366ff;
157    border-radius: 1em;
158    border-style: solid;
159    border-color: #999999;
160    float: left;
161    width: 10%;
162    font-family: sans-serif;
163    font-size: smaller;
164}
165
166ul.menu-list  {
167    list-style: none;
168}
169
170ul.menu-list a:link, ul.menu-list a:visited {
171    font-weight: bold;
172    color: #ffffff;
173    text-decoration: underline;
174}
175
176ul.menu-list li {
177    padding: .3em;
178    margin-left: -30%;
179}
Note: See TracBrowser for help on using the repository browser.