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 /* site-wide typesetting */
  25
  26 body {
  27   font-family: sans-serif;
  28   font-size: 12pt;
  29   background-image: url(images/sheetbg.png);
  30   background-repeat: repeat;
  31 }
  32
  33 h1 {
  34   font-size: 18pt;
  35   color: #808080;
  36
  37   text-align: center;
  38 }
  39
  40 h2 {
  41   font-size: 16pt;
  42   color: #808080;
  43
  44   border-bottom-style: solid;
  45   border-width: 3px;
  46   border-color: #cb8080;
  47 }
  48
  49 h3 {
  50   font-size: 14pt;
  51   color: #808080;
  52 }
  53
  54 h4 {
  55   font-size: 13pt;
  56   color: #808080;
  57 }
  58
  59 a {
  60   margin: 2px;
  61   color: #591622;
  62   text-decoration: underline;
  63 }
  64
  65 a:hover {
  66   text-decoration: underline;
  67   background-color: #ecf6f9;
  68 }
  69
  70 ul {
  71   list-style-type: square;
  72 }
  73
  74 /* menu */
  75
  76 div.menu ul {
  77   list-style-type: none;
  78   padding-left: 10px;
  79   padding-right: 10px;
  80 }
  81
  82 div.menu ul li {
  83   color: #591622;
  84   font-style : italic;
  85   text-decoration : none;
  86
  87   border-bottom-style: solid;
  88   border-color: #cb8080;
  89   margin-bottom: 15px;
  90 }
  91
  92 div.menu ul li a {
  93   text-decoration: none;
  94 }
  95
  96 a.menu:hover {
  97   color: #591622;
  98   text-decoration : none;
  99   background-color: #ecf6f9;
 100 }
 101
 102 /* fancy classes */
 103
 104 samp.tiny {
 105   font-size: 8pt;
 106 }
 107
 108 ul.wide li {
 109   padding-bottom: 5px;
 110 }
 111
 112 .center {
 113   text-align: center;
 114 }
 115
 116 div.topimage {
 117   text-align: center;
 118   padding-top: 14px;
 119 }
 120
 121 div.bottombar {
 122   display: block;
 123   width: auto;
 124   margin-top: 40px;
 125 }
 126
 127 div.uplined {
 128   height: auto;
 129   padding-top: 10px;
 130   width: 40%;
 131   border-color: #cb8080;
 132   border-top-style: solid;
 133   border-top-width: 3px;
 134 }
 135
 136 a.quiet:link,visited,hover {
 137   background-color: transparent;
 138   text-decoration: none;
 139   border-style: none;
 140 }
 141
 142 a.quiet img {
 143   border-style:none;
 144 }
 145
 146 pre.code {
 147   margin-left: 2em;
 148   font-size: 95%;
 149 }
 150