@import url(html4css1.css);

body {
  font-family: Helvetica, Arial, sans-serif;
}

a:hover {
  background-color: #cccccc;
}

h1, h2, h3, h4, h5, h6 {
  font-family: Helvetica, Arial, sans-serif;
  color: #000066
}

h2, h3, h4, h5, h6 {
  font-size: large;
}

h1 {
  font-size: x-large;
}

h1.title {
  background-color: #000066;
  color: #ffffff;
  border: medium solid black;
} 

div.attention, div.caution, div.danger, div.error, div.hint,
div.important, div.note, div.tip, div.warning, div.admonition {
  margin: 2em ;
  border: medium outset ;
  padding: 1em }

div.attention p.admonition-title, div.caution p.admonition-title,
div.danger p.admonition-title, div.error p.admonition-title,
div.warning p.admonition-title {
  color: red ;
  font-weight: bold ;
  font-family: sans-serif }

div.hint p.admonition-title, div.important p.admonition-title,
div.note p.admonition-title, div.tip p.admonition-title,
div.admonition p.admonition-title {
  font-weight: bold ;
  font-family: sans-serif }