/* Stylesheet for the research pages */

span.mathbb
{
  font-weight:    bold;
}

dl.bib > dt
{
  margin-top:     2ex;
  margin-bottom:  1ex;
  font-weight:    bold;
}

dl.bib > dd
{
  margin-top:     0ex;
  margin-bottom:  3ex;
}

dl.bib .title
{
  font-weight:    bolder;
}

table.testlibm
{
  color:            black;
  background:       white;
  border-collapse:  collapse;
}

table.testlibm th
{
  padding:        0 0.25em;
  text-align:     center;
  font-weight:    normal;
  border:         1px solid black;
}

table.testlibm td
{
  padding:        0 0.25em;
  text-align:     center;
  border:         1px solid black;
}

table.testlibm .zero { color: green }
table.testlibm .low  { color: blue }
table.testlibm .high { color: red }
table.testlibm .link { background: silver }

table.testlibm .hostname { white-space: nowrap }

table.testlibm div.host:hover
{
  /* Position the div.host so that the "position: absolute" of the
     span.hostinfo makes the position relative to the div.host box,
     as explained on <http://alistapart.com/articles/sprites/>.
     Related changes so that the width can automatically be determined:
     * In table.testlibm div.host:hover > span.hostinfo
       "display: block !important;" -> "display: table !important;"
       "left: 6em;" -> "top: -5ex; left: 100%;"
       "padding: 0.5ex 0;" removed (no longer taken into account)
     * In table.testlibm div.host:hover > span.hostinfo > span.info
       "display: block" -> "display: table-row"
     * In ... > span.info span.info-t and ... > span.info span.info-d
       "padding" replaced by "margin" (necessary for Mozilla, "padding"
       was OK in Opera 7.11) */
  position: relative;
  background: yellow;
}

table.testlibm div.host:hover > span.hostinfo
{
  display: table !important;
  position: absolute;
  text-align: left;
  top: -5ex; left: 100%;
  background: silver;
  border: 6px ridge black;
  white-space: nowrap;
}

table.testlibm div.host:hover > span.hostinfo > span.deco
{
  display: none;
}

table.testlibm div.host:hover > span.hostinfo > span.info
{
  display: table-row;
  background: inherit; /* useful for Opera */
}

table.testlibm div.host:hover > span.hostinfo > span.info > span
{
  background: inherit; /* useful for Opera */
}

table.testlibm div.host:hover > span.hostinfo > span.info span.info-t
{
  margin: 0 0 0 0.5em;
  font-weight: bold;
}

table.testlibm div.host:hover > span.hostinfo > span.info span.info-d
{
  margin: 0 0.5em 0 0;
  font-weight: normal;
}

/* $Id: common.css 4250 2004-08-15 13:37:52Z lefevre $ */