]> matita.cs.unibo.it Git - helm.git/blob - helm/www/matita1.0/style.css
- natural numbers with infinity for lambdadelta
[helm.git] / helm / www / matita1.0 / style.css
1 /*
2  * CSS stylesheet for the website http://matita.cs.unibo.it/
3  *
4  * $Id$
5  */
6
7 /* page layout */
8
9 div.menu {
10   position: absolute;
11   left: 0px;
12   width: 150px;
13   text-align: center;
14   font-size: 10pt;
15 }
16
17 div.main {
18   position: absolute;
19   top: 0px;
20   left: 150px;
21   width: 650px;
22   padding-left:20px;
23   font-size: 10pt;
24 }
25
26 div.news {
27   position: absolute;
28   top: 25px;
29   left: 845px;
30   font-size: 10pt;
31   width: 150px;
32   background: #eaeaea;
33   padding: 5px;
34   display: block;
35   height: 90%;
36   overflow: hidden;
37 }
38
39 /* site-wide typesetting */
40
41 body {
42   font-family: sans-serif;
43   font-size: 12pt;
44   background-image: url(images/sheetbg.png);
45   background-repeat: repeat;
46 }
47
48 h1 {
49   font-size: 18pt;
50   color: #808080;
51
52   text-align: center;
53 }
54
55 h2 {
56   font-size: 16pt;
57   color: #808080;
58   
59   border-bottom-style: solid;
60   border-width: 3px;
61   border-color: #cb8080;
62 }
63
64 h3 {
65   font-size: 14pt;
66   color: #808080;
67 }
68
69 h4 {
70   font-size: 13pt;
71   color: #808080;
72 }
73
74 a {
75   margin: 2px;
76   color: #591622;
77   text-decoration: underline;
78 }
79
80 a:hover {
81   text-decoration: underline;
82   background-color: #ecf6f9;
83 }
84
85 ul {
86   list-style-type: square;
87 }
88
89 p.spaced {
90   padding-bottom: 2em;
91 }
92
93 /* menu */
94
95 div.menu ul {
96   list-style-type: none;
97   padding-left: 10px;
98   padding-right: 10px;
99 }
100
101 div.menu ul li {
102   color: #591622;
103   font-style : italic;
104   text-decoration : none;
105   
106   border-bottom-style: solid;
107   border-color: #cb8080;
108   margin-bottom: 15px;
109 }
110
111 div.menu ul li a {
112   display: block;
113   text-align: right;
114   text-decoration: none;
115   vertical-align: middle;
116   height: 45px;
117   background-repeat: no-repeat;
118 }
119
120 a.menu:hover { 
121   color: #591622;       
122   text-decoration : none;
123   background-color: #ecf6f9;
124 }
125
126 /* news */
127
128 div.news ul {
129   padding-left: 0px;
130   list-style: inside;
131 }
132
133 div.news span.date {
134   font-style: italic;
135 }
136
137 /* fancy classes */
138
139 samp.tiny {
140   font-size: 8pt;
141 }
142
143 ul.wide li {
144   padding-bottom: 5px;
145 }
146
147 .center {
148   text-align: center;
149 }
150
151 div.topimage {
152   text-align: left;
153   padding-top: 28px;
154   padding-bottom: 28px;
155 }
156
157 div.bottombar {
158   display: block;
159   width: auto;
160   margin-top: 40px;
161 }
162
163 div.uplined {
164   height: auto;
165   padding-top: 10px;
166   width: 40%;
167   border-color: #cb8080;
168   border-top-style: solid;
169   border-top-width: 3px;
170 }
171
172 a.quiet:link,visited,hover { 
173   background-color: transparent;
174   text-decoration: none;
175   border-style: none;
176 }
177
178 a.quiet img { 
179   border-style:none; 
180 }
181
182 span.screenshots {
183   float: right;
184 }
185
186 /* papers */
187
188 li.paper {
189   padding-bottom: 5px;
190 }
191
192 span.paper_info {
193   display: block;
194 }
195 span.paper_abstract {
196   display: none;
197 }
198 span.paper_abstract:before {
199   content: "Abstract: ";
200   font-weight: bold;
201   font-style: normal;
202 }
203 span.paper_download {
204   display: block;
205   float: right;
206 }
207 a.paper_download { /* snipet from ikiwiki rss button, thanks! */
208   background: #ff6600;
209   color: white !important;
210   border-left: 0.5px solid #cc9966;
211   border-top: 1px solid #ccaa99;
212   border-right: 1px solid #993300;
213   border-bottom: 1px solid #331100;
214   padding: 0px 0.5em 0px 0.5em;
215   font-family: helvetica, arial, sans-serif;
216   font-size: 80%;
217   text-decoration: none;
218   margin-top: 1em;
219 }
220
221 span.paper_author {
222   font-style: italic;
223 }
224
225 span.paper_title {
226   font-weight: bold;
227 }
228
229 dt {
230   margin-top:1em;
231   font-weight: bold;
232 }
233
234 ul.news li {
235   margin-bottom: 1em;
236   list-style-type: none;
237 }
238
239 ul.news li span.date {
240   font-weight: bold;
241 }
242
243 div.news div.newsheader {
244   text-align: center;
245   margin-left:auto;
246   margin-right:auto;
247   font-weight: bold;
248 }