helm/searchEngine/html/moogle_header.html.src

   1 <?xml version="1.0"?>
   2 <helm:content
   3   xmlns:helm="http://www.cs.unibo.it/helm"
   4   xmlns="http://www.w3.org/1999/xhtml"
   5 >
   6 <head>
   7   <title>Whelp search</title>
   8   <style>
   9     div.resultsbar {
  10       background-color: #e5ecf9;
  11       border-top: solid;
  12       border-width: thin;
  13       border-color: #3366cc;
  14     }
  15     div.bottombar {
  16       background-color: #e5ecf9;
  17       border-top: solid;
  18       border-bottom: solid;
  19       border-width: thin;
  20       border-color: #3366cc;
  21       text-align: center;
  22     }
  23     table.interp {
  24       border-collapse: collapse;
  25       border-top: solid;
  26       border-width: 1pt;
  27     }
  28     tr.interp {
  29       border-bottom: solid;
  30       border-width: 1pt;
  31     }
  32     td.left { text-align: left }
  33     td.right { text-align: right }
  34     b.error { color: red }
  35     b.query_kind { font-size: large }
  36     body {
  37       font-family: sans-serif;
  38       font-size: smaller;
  39       background-color: #ffffff;
  40     }
  41     span.uri { color: blue; }
  42     span.invisible { color: #e5ecf9; }
  43   </style>
  44 </head>
  45 </helm:content>