/* Set box-sizing to border-box for all elements */
* {
    box-sizing: border-box;
    margin: 10px;
  }
  
  /* Set body margin and font family */
  body {
    margin: 0;
    font-family: Arial, sans-serif;
  }
  
  /* Set header styles */
  header {
    background-color: #333;
    color: #fff;
    padding: 10px;
  }
  
  /* Set form styles */
  form {
    margin: 0px;
  }
  
  label {
    font-weight: bold;
  }
  
  select {
    font-size: 1.2em;
    padding: 5px;
    margin: 0px;
  }
  
  /* Set table styles */
  table {
    border-collapse: collapse;
    width: 95%;
    margin: 0px;
    margin-left: 10px;
  }
  
  th, td {
    padding: 10px;
    text-align: center;
    border-bottom: 1px solid #ddd;
  }
  
  th {
    background-color: #f2f2f2;
  }
  
  /* Set button styles */
  button {
    background-color: #4CAF50;
    color: white;
    padding: 10px 20px;
    border: none;
    cursor: pointer;
    margin: 10px;
    border-radius: 5px;
  }
  
  button:hover {
    background-color: #3e8e41;
  }
  
  /* Set input styles */
  input[type="text"] {
    padding: 10px;
    margin: 5px;
    border-radius: 5px;
    border: 1px solid #ccc;
  }
  
  /* Set results table styles */
  #resultsTable {
    margin: 0px;
  }
  #priorityTable{
    margin:0px;
  }
  
  #resultsTable th, #resultsTable td {
    padding: 10px;
    text-align: left;
    border-bottom: 1px solid #ddd;
  }
  
  #resultsTable th {
    background-color: #f2f2f2;
  }
  .container{
    margin:0px;
  }
  .chan{
    margin:0px
  }
  
  .gann {
    border-radius: 40px;
    -webkit-border-radius: 15px;
    -moz-border-radius: 15px;
    fill: rgb(0,255,255)
  }
  
  .ganntCPU {
    fill: rgb(255,0,0);
    
  }
  
  
  
  .ganntIO {
    fill: rgb(0,0,255)
  }
  .gannttrueRow{
    fill: #ffffff;
    stroke-width:2;
    stroke:rgb(109, 109, 109);
  }
  
  .ganntfalseRow{
    fill:#f5f5f5;
    stroke-width:2;
    stroke:rgb(109, 109, 109);
  }
  
  .scrollGantt{
    overflow-y: hidden;
    margin-left: 0;
    margin-top: 0;
    margin-right: 0;
    margin-bottom: 0;
  }
  
  .lineGantt{
   stroke: rgb(0,0,0);
   stroke-width:2;
  
  }