Skip to content
Snippets Groups Projects
Select Git revision
  • 7600038f1c865b78204f7c48a308d39facec64d2
  • master default protected
  • csv_export
  • ndex
  • v1.1.18-rc2
  • v1.1.17
  • v1.1.16
  • v1.1.16-rc12
  • v1.1.16-rc11
  • v1.1.16-rc10
  • v1.1.16-rc9
  • v1.1.16-rc8
  • v1.1.16-rc7
  • v1.1.16-rc4
  • v1.1.16-rc3
  • v1.1.16-rc1
  • v1.1.6-rc1
  • v1.1.15
  • v1.1.15-rc7
  • v1.1.15-rc6
  • v1.1.15-rc3
  • v1.1.15-rc1
  • v1.1.14
  • v1.1.13
24 results

styles.scss

Blame
  • user avatar
    Julian Matschinske authored and Julian Späth committed
    8f55f155
    History
    Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    styles.scss 2.71 KiB
    /* You can add global styles to this file, and also import other style files */
    
    @charset "utf-8";
    
    @import url('https://fonts.googleapis.com/css?family=Varela+Round');
    @import "~@ng-select/ng-select/themes/default.theme.css";
    $family-sans-serif: "Varela Round", sans-serif;
    @import "~bulma/bulma.sass";
    
    html {
      overflow: hidden;
    }
    
    body {
      overflow: hidden;
    }
    
    .hero.is-primary {
      background-color: #118AB2;
      background-image: url("assets/logo.png"), linear-gradient(to left, #f2fcfe, #118AB2);
      background-repeat: no-repeat;
      background-position: 80%;
      padding: 50px;
    }
    
    .button.is-primary, .button.is-primary:hover, .button.is-primary:disabled {
      background-color: #118AB2;
    }
    
    .button.is-danger, .button.is-danger:hover, .button.is-danger:disabled {
      background-color: #EF476F;
    }
    
    .button.is-success, .button.is-success:hover, .button.is-success:disabled {
      background-color: #48C774;
    }
    
    div.navbar-menu {
      margin-left: 5px;
    }
    
    span.icon {
      margin-right: 5px;
    }
    
    img {
      margin: 10px;
    }
    
    img.inline {
      height: 30px;
      margin-left: 0px;
    }
    
    button.i {
      margin-left: 5px;
    }
    
    input.checkbox {
      margin-left: 15px;
    }
    
    div.covex.bar-left {
      float: left;
      width: 350px;
      height: calc(100vh - 102px);
      overflow: auto;
    }
    
    div.covex.bar-right {
      float: right;
      width: 350px;
      height: calc(100vh - 102px);
      overflow: auto;
    }
    
    div.card.bar-small {
      margin-bottom: 15px;
      word-wrap: break-word;
      height: 130px;
    }
    
    div.card.bar-medium {
      margin-bottom: 15px;
      word-wrap: break-word;
      height: 170px;
    }
    
    div.card.bar-large {
      margin-bottom: 15px;
      max-height: 600px;
    }
    
    div.card-content.overflow {
      overflow: auto;
      max-height: 500px;
    }
    
    div.covex.left-window {
      float: left;
      width: calc(100vw - 350px - 2 * 20px);
      height: 100%;
    }
    
    div.covex.network {
      width: calc(100% - 350px - 40px);
      height: calc(100vh - 100px);
      margin-left: 20px;
      margin-right: 20px;
      float: right;
    }
    
    div.card.network {
      width: 100%;
      height: calc(100vh - 85px);
    }
    
    div.network {
       height: calc(100vh - 210px);
    }
    
    div.center {
      display: flex;
      align-items: center;
      justify-content: center;
    }
    
    
    div.covex.explorer {
      height: calc(100vh - 90px);
      margin-left: 20px;
      margin-right: 20px;
    }
    
    .analysis-view {
      height: 100%;
      width: calc(100% - 20px);
      position: relative;
      margin-top: 0;
    }
    
    div.field.has-addons.add-remove-toggle {
      margin-top: 20px;
    }
    
    .fa-check {
      color: #48C774;
    }
    
    .fa-spinner {
      color: #e2b600;
    }
    
    .fa-pause {
      color: #e2b600;
    }
    
    .fa-exclamation-triangle {
      color: #EF476F;
    }
    
    div.field.has-addons.footer-toggle-buttons {
      margin-left: 20px;
      margin-right: 10px;
    }
    
    .toolbar {
      padding: 5px;
      border-top: 2px solid #d0d0d0;
    }
    
    html, body { height: 100%; }
    body { margin: 0; font-family: Roboto, "Helvetica Neue", sans-serif; }