/* CSS */
#header {
  min-height: 100px;
  background-color: #0467BA;
  background-image: url(./;get_file?name=banner);
  background-position: bottom right;
  background-repeat: no-repeat;
}
/*#languages A {
    margin-left: 5px;
    margin-right: 5px;
}*/