git.infodrom.org Git - infodrom.org/lists.infodrom.org/blob - src/search.inc

   1 <style type="text/css">
   2 input {
   3   display: block;
   4   width: 100%;
   5   margin-bottom: 10px;
   6   border: 1px solid #aaaaaa;
   7 }
   8 input.button {
   9   width: auto;
  10   display: inline;
  11   font-size: 13px;
  12   font-weight: bold;
  13   padding: 2px;
  14   background-color: #d7d7d7;
  15 }
  16 div.outer {
  17   padding-left: 10%;
  18   padding-right: 10%;
  19 }
  20 div.inner {
  21   background: #ffffff;
  22   border: 1px solid #000000;
  23   padding: 20px;
  24 }
  25 div.inner p {
  26   font-weight: bold;
  27   margin-top: -5px;
  28 }
  29 div.suggest {
  30   margin-top: -15px;
  31   margin-bottom: 15px;
  32   margin-right: 0px;
  33   padding-left: 2px;
  34   border: 1px solid #000000;
  35   background: #d7d7d7;
  36   visibility: hidden;
  37 }
  38 </style>