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
 226 dt {
 227   margin-top:1em;
 228   font-weight: bold;
 229 }
 230
 231 ul.news li {
 232   margin-bottom: 1em;
 233   list-style-type: none;
 234 }
 235
 236 ul.news li span.date {
 237   font-weight: bold;
 238 }
 239
 240 div.news div.newsheader {
 241   text-align: center;
 242   margin-left:auto;
 243   margin-right:auto;
 244   font-weight: bold;
 245 }