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   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 }