helm/www/matita/style.css

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