hunk.code_window:   color: #F63366;
   }
   .nav-item {
     list-style: none;
   }
   .streamlit-container {
     margin-top: 80px;
  
hunk.labels: keep keep keep replace replace keep keep keep keep
hunk.after_edit: .connection-status {
     position: absolute;
     top: 0.5rem;
     right: 1rem;
  
hunk.file_path: local/client/src/WebClient.css
hunk.type: replace
file: syntax = "proto3";
  
  import "Element.proto";
  import "DataFrame.proto";
  
  // A change to an element.
  message Delta {
    // Each delta applies to a particular ID.
    uint32 id = 1;
  
    // There are two kinds of supported deltas.
    oneof type {
      Element new_element = 2;
      DataFrame add_rows = 3;
    }
  }
  
  // A list of deltas
  message DeltaList {
    repeated Delta deltas = 1;
  }
  