helm/www/matita/style.css

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