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 }
  15
  16 div.main {
  17   position: absolute;
  18   top: 0px;
  19   left: 150px;
  20   width: 650px;
  21   padding-left:20px;
  22 }
  23
  24 div.news {
  25   position: absolute;
  26   top: 20px;
  27   left: 830px;
  28   font-size: 10pt;
  29   width: 100px;
  30   background: #eaeaea;
  31   padding: 10px;
  32 }
  33
  34 /* site-wide typesetting */
  35
  36 body {
  37   font-family: sans-serif;
  38   font-size: 12pt;
  39   background-image: url(images/sheetbg.png);
  40   background-repeat: repeat;
  41 }
  42
  43 h1 {
  44   font-size: 18pt;
  45   color: #808080;
  46
  47   text-align: center;
  48 }
  49
  50 h2 {
  51   font-size: 16pt;
  52   color: #808080;
  53
  54   border-bottom-style: solid;
  55   border-width: 3px;
  56   border-color: #cb8080;
  57 }
  58
  59 h3 {
  60   font-size: 14pt;
  61   color: #808080;
  62 }
  63
  64 h4 {
  65   font-size: 13pt;
  66   color: #808080;
  67 }
  68
  69 a {
  70   margin: 2px;
  71   color: #591622;
  72   text-decoration: underline;
  73 }
  74
  75 a:hover {
  76   text-decoration: underline;
  77   background-color: #ecf6f9;
  78 }
  79
  80 ul {
  81   list-style-type: square;
  82 }
  83
  84 /* menu */
  85
  86 div.menu ul {
  87   list-style-type: none;
  88   padding-left: 10px;
  89   padding-right: 10px;
  90 }
  91
  92 div.menu ul li {
  93   color: #591622;
  94   font-style : italic;
  95   text-decoration : none;
  96
  97   border-bottom-style: solid;
  98   border-color: #cb8080;
  99   margin-bottom: 15px;
 100 }
 101
 102 div.menu ul li a {
 103   text-decoration: none;
 104 }
 105
 106 a.menu:hover {
 107   color: #591622;
 108   text-decoration : none;
 109   background-color: #ecf6f9;
 110 }
 111
 112 /* news */
 113
 114 div.news ul {
 115   padding-left: 0px;
 116   list-style: inside;
 117 }
 118
 119 div.news span.date {
 120   font-style: italic;
 121 }
 122
 123 /* fancy classes */
 124
 125 samp.tiny {
 126   font-size: 8pt;
 127 }
 128
 129 ul.wide li {
 130   padding-bottom: 5px;
 131 }
 132
 133 .center {
 134   text-align: center;
 135 }
 136
 137 div.topimage {
 138   text-align: left;
 139   padding-top: 14px;
 140 }
 141
 142 div.bottombar {
 143   display: block;
 144   width: auto;
 145   margin-top: 40px;
 146 }
 147
 148 div.uplined {
 149   height: auto;
 150   padding-top: 10px;
 151   width: 40%;
 152   border-color: #cb8080;
 153   border-top-style: solid;
 154   border-top-width: 3px;
 155 }
 156
 157 a.quiet:link,visited,hover {
 158   background-color: transparent;
 159   text-decoration: none;
 160   border-style: none;
 161 }
 162
 163 a.quiet img {
 164   border-style:none;
 165 }
 166
 167 span.screenshots {
 168   float: right;
 169 }
 170
 171 /* papers */
 172
 173 li.paper {
 174   padding-bottom: 5px;
 175 }
 176
 177 span.paper_abstract {
 178   display: none;
 179 }
 180
 181 span.paper_author {
 182   font-style: italic;
 183 }
 184
 185 span.paper_title {
 186   font-weight: bold;
 187 }
 188