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