@CHARSET "UTF-8";
/* TODO make a real layout */
html {
  background-color: #457171;  
/*  background-image: url(img/IMG_0394.JPG);*/
  background-repeat: repeat-y;
  font-family: Helvetica, sans-serif;
  font-size: 120%;
	color: #111516;
}
body {
  padding: 0.4em;
}

ul {
  list-style-type: none;  
}
body > ul {
  padding-left: 0;
}

header h1, h1 {
  color: #2E4848;
}
a, header {
  opacity: 0.8;
  -moz-opacity: 0.8;
  filter:alpha(opacity=80);  
}
a, a:visited { 
  border: 1px solid #0A0B0B;
  background-color: #0A0B0B;
  color: #457171;
  text-decoration: none;  
}
a:hover { 
  background-color: #457171;
  color: #0A0B0B;    
/*  text-decoration: underline; */
}
header h1, li, a { 
  padding:  0.3em 0.3em 0.2em 0.3em; margin: 0.3em 0;
}