#player {
    width:800px;
    /* height:480px; */
}

audio { 
    width: 800px !important; 
    display: inline-block;
}

html {
    line-height: 150%;
    font-size: 13pt;
}

audio::-webkit-media-controls-panel {
  background-color: #006080;
  color: #f0f4ff;
}