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: 100px;
  32   background: #eaeaea;
  33   padding: 10px;
  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   text-decoration: none;
 110 }
 111
 112 a.menu:hover {
 113   color: #591622;
 114   text-decoration : none;
 115   background-color: #ecf6f9;
 116 }
 117
 118 /* news */
 119
 120 div.news ul {
 121   padding-left: 0px;
 122   list-style: inside;
 123 }
 124
 125 div.news span.date {
 126   font-style: italic;
 127 }
 128
 129 /* fancy classes */
 130
 131 samp.tiny {
 132   font-size: 8pt;
 133 }
 134
 135 ul.wide li {
 136   padding-bottom: 5px;
 137 }
 138
 139 .center {
 140   text-align: center;
 141 }
 142
 143 div.topimage {
 144   text-align: left;
 145   padding-top: 28px;
 146   padding-bottom: 28px;
 147 }
 148
 149 div.bottombar {
 150   display: block;
 151   width: auto;
 152   margin-top: 40px;
 153 }
 154
 155 div.uplined {
 156   height: auto;
 157   padding-top: 10px;
 158   width: 40%;
 159   border-color: #cb8080;
 160   border-top-style: solid;
 161   border-top-width: 3px;
 162 }
 163
 164 a.quiet:link,visited,hover {
 165   background-color: transparent;
 166   text-decoration: none;
 167   border-style: none;
 168 }
 169
 170 a.quiet img {
 171   border-style:none;
 172 }
 173
 174 span.screenshots {
 175   float: right;
 176 }
 177
 178 /* papers */
 179
 180 li.paper {
 181   padding-bottom: 5px;
 182 }
 183
 184 span.paper_abstract {
 185   display: none;
 186 }
 187
 188 span.paper_author {
 189   font-style: italic;
 190 }
 191
 192 span.paper_title {
 193   font-weight: bold;
 194 }
 195