/* This is actually not used since the header formatting of form.css is used!
   That could also happen for results_navigation.css but for now we leave it
   since the UI may change..
*/

body {
  background-color: #fdfdfd;
}

table.header {
  border-collapse: collapse;
  /* With equal left-right margins table will be aligned in the centre */
  margin-left: auto;
  margin-right: auto;
}

td.header {
  font-size: 200%;
  background-color: #f0f0f0;
  padding: 12px;
  border-bottom: 4px solid #909090;
  border-top: 4px solid #909090;
}