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