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   margin-left: 7%;
   8   margin-right: 7%;
   9 }
  10
  11 samp.tiny {
  12   font-size: 8pt;
  13 }
  14
  15 div.main h1 {
  16   font-family: sans-serif;
  17   font-size: 18pt;
  18   color: #808080;
  19
  20   text-align: center;
  21 }
  22
  23 div.main h2 {
  24   font-family: sans-serif;
  25   font-size: 16pt;
  26   color: #808080;
  27
  28   border-style: none;
  29   border-bottom-style: solid;
  30   border-width: 3px;
  31   border-color: #cb8080;
  32   width: 70%;
  33
  34   margin-right: auto;
  35 }
  36
  37 div.main h3 {
  38   font-family: sans-serif;
  39   font-size: 14pt;
  40   color: #808080;
  41 }
  42
  43 div.main h4 {
  44   font-family: sans-serif;
  45   font-size: 13pt;
  46   color: #808080;
  47 }
  48
  49 p {
  50 }
  51
  52 ul {
  53   list-style-type: none;
  54 }
  55
  56 div.menu a {
  57   color: #591622;
  58   background-color: transparent;
  59
  60   font-family: sans-serif;
  61   font-style : italic;
  62
  63   text-decoration : none;
  64
  65   border-color: #cb8080;
  66   border-bottom-width: 3px;
  67   border-top-width: 0px;
  68   border-left-width: 0px;
  69   border-right-width: 0px;
  70   border-style: solid;
  71
  72   margin-right:20px;
  73 }
  74
  75 a.menu:hover {
  76   color: #591622;
  77   text-decoration : none;
  78   background-color: #ecf6f9;
  79
  80 }
  81
  82 a {
  83   margin: 2px;
  84   color: #591622;
  85   text-decoration : underline;
  86 }
  87
  88 a:hover {
  89   text-decoration : underline;
  90   background-color: #ecf6f9;
  91 }
  92
  93 div.menu {
  94   display: block;
  95   width: auto;
  96   text-align:center;
  97   margin-bottom: 40px;
  98 }
  99
 100 div.bottombar {
 101   display: block;
 102   width: auto;
 103   text-align:right;
 104   margin-top: 40px;
 105 }
 106
 107 div.uplined {
 108   height: auto;
 109   padding-top: 10px;
 110   width: 40%;
 111   margin-left:auto;
 112   border-top-style: solid;
 113   border-top-width: 3px;
 114   border-color: #cb8080;
 115 }
 116
 117 a.quiet:link,visited,hover {
 118   background-color:transparent;
 119   text-decoration: none;
 120   border-style:none;
 121
 122 }
 123
 124 a.quiet img {
 125   border-style:none;
 126 }
 127