informative-0.1.0.1: informative.css

body
  margin: 0px;
  font-family: Sans, sans-serif;
  font-size: 15
  background-color: #AAAAAA;

h1#header
  display: block;
  border-bottom: 1px solid navy;
  margin-bottom: 0px;
  margin-top: 0px;

h1#header:before
  content: '#{pref}';
  color: #777777;

div#leftnav
  display: block;
  float: left;
  width: 4cm;

ul.leftnav
  display: block;
  width: 4cm;
  list-style: none;
  margin-left: 0.5cm;
  margin-top: 0.5cm;
  padding-left: 0px;
  padding-bottom: 2px;
  background-color: white;
  border: 1px solid navy;

ul.leftnav li
  display: block;
  padding-left: 5px;
  padding-top: 5px;

ul.leftnav li a
  color: black;
  text-decoration: none;

ul.leftnav li a:hover
  text-decoration: underline;

ul.leftnav:before
  content: attr(title);
  display: block;
  background-color: navy;
  color: white;
  padding-left: 4px;
  padding-top: 4px;

div#content
  display: block;
  margin-left: 5cm;
  margin-right: 0.5cm;
  margin-top: 0.5cm;

div.content
  border: 1px solid navy;
  background-color: white;

div.hint
  border: 1px solid green;
  background-color: #99FF99;

div.error
  border: 1px solid maroon;
  background-color: #FF9999;

div.hint:before
  content: 'Hint';
  display: block;
  background-color: green;
  color: white;
  padding-left: 4px;
  padding-top: 4px;
  margin-left: -4px;
  margin-bottom: 4px;

div.error:before
  content: 'Error';
  display: block;
  background-color: maroon;
  color: white;
  padding-left: 4px;
  padding-top: 4px;
  margin-left: -4px;
  margin-bottom: 4px;

div.content, div.hint, div.error
  padding-left: 4px;
  display: block;
  margin: 0.3cm;

div.table, div.mapping
  background-color: white;
  border: 0px;
  border-bottom: 1px solid navy;
  padding: 0px;
  margin: 0.3cm;

div.mapping
  border-top: 1px solid navy;

div.table table, div.mapping table
  width: 100%;
  border-collapse: collapse;

div.table table thead
  background-color: navy;
  color: white;
  margin: 0px;

div.table table tr, div.mapping table tr
  height: 1.2em;

div.table table tr:nth-child(even), div.mapping table tr:nth-child(even)
  background-color: #E2EBFF;

div.table table th, div.table table td, div.mapping table td
  margin: 0px;
  border: navy 1px solid;
  border-bottom: 0px;
  border-top: 0px;
  font-weight: normal;
  padding-left: 2px;
  padding-right: 2px;
  padding-top: 2px;

div.table table p, div.mapping table p
  margin: 0px;

div#content a
  color: black;
  text-decoration: none;

div#content div.content a:before, div#content div.table a:before, div#content div.mapping a:before
  color: navy;
  content: '->';
  font-size: 11px;

div#content a:hover
  text-decoration: underline;

div#content div.edit
  display: block;
  text-align: right;
  margin-right: 0.3cm;
  font-style: italic;
  margin-top: -0.3cm;

div#content div.edit a
  color: navy;