@media screen {
  body {
    font-family: Verdana, Helvetica, sans-serif;
    margin-left: 0px;
    margin-bottom: 0px;
    margin-right: 0px;
    margin-top: 40px;
  }
  .taskbar {
    overflow: hidden;
    width: 100%;
    height: 40px;
    position: fixed;
    background-color: #e7e9e2 ;
    left: 0px;
    top: 0px;
    z-index: 100;
  }
  .content {
    padding-top: 12px;
    margin-left: 5px;
  }
}


.taskbar-header {
  position: absolute;
  right: 0px;
  margin: 10px 4px;
  padding: 0px;
  float: left;
  text-align: right;
}

.taskbar-header-anchor { 
  font-size: 10pt;
  color: #004466;
  margin-right: 30px;
}

.taskbar-buttons {
  margin-left: 10px;
}


.taskbar-button  {
  margin-top: 12px;
  margin-left: 2px;
  border-top-left-radius: 5px;
  border-top-right-radius: 5px;
  border-bottom-right-radius: 5px;
  border-bottom-left-radius: 5px;
  background-color: #004466;
  color:#ffffff;
  cursor: pointer;
  font-size: 10pt;
  border-style:none;
}

.taskbar-button:disabled {
  box-shadow: inset 0 0 0 10em rgba(255, 255, 255, 0.3);
}

.taskbar-button:hover {
  margin-top: 12px;
  margin-left: 2px;
  border-top-left-radius: 5px;
  border-top-right-radius: 5px;
  border-bottom-right-radius: 5px;
  border-bottom-left-radius: 5px;
  background-color: #006699;
  color:#ffffff;
  font-size: 10pt;
  border-style:none;
}


.taskbar-text {
  line-height: 3em;
  font-size: 10pt;
  color: #004466;
  margin-left: 2em;
}

.taskbar-inputtext {  }

.taskbar-select {
  font-size: 10pt;
  vertical-align: middle;
}

.taskbar-textmark { }


.taskbar-jump { }