git.infodrom.org Git - infodrom.org/service.infodrom.org/blob - Styles/infodrom.style

   1 <define-tag page-bgcolor>f7f7f7</define-tag>
   2 <define-tag page-textcolor><black></define-tag>
   3 <define-tag page-vlink>000090</define-tag>
   4 <define-tag page-alink>e709f7</define-tag>
   5 <define-tag page-link>1717ef</define-tag>
   6 <define-tag submenu-bgcolor>d3d8dc</define-tag>
   7 <define-tag submenu-textcolor>0000ff</define-tag>
   8 <define-tag bar-bgcolor>1aa2fe</define-tag>
   9 <define-tag bar-textcolor><white></define-tag>
  10
  11 #include <service.style>
  12
  13 <ifeq "$(WML_GEN_HOSTNAME)" "finlandia" "
  14    <define-tag dbhost>kuolema</define-tag>
  15    <define-tag dbport>5432</define-tag>
  16    <define-tag dbname>web</define-tag>
  17 ">
  18 <ifeq "$(WML_GEN_HOSTNAME)" "luonnotar" "
  19    <define-tag dbhost></define-tag>
  20    <define-tag dbport></define-tag>
  21    <define-tag dbname>web</define-tag>
  22 ">
  23
  24 <:
  25   if (substr ("<dbname>", 0, 1) eq "<") {
  26     print  STDERR "Unknown build host, fix infodrom.style.\n";
  27   }
  28 :>