|  | @@ -1,157 +0,0 @@
 | 
	
		
			
				|  |  | -$menu-item-color: hsl(0, 0%, 100%);
 | 
	
		
			
				|  |  | -$menu-item-hover-color: hsl(0, 0%, 0%);
 | 
	
		
			
				|  |  | -$menu-item-hover-background-color: hsl(0, 0%, 96%);
 | 
	
		
			
				|  |  | -$menu-label-color: hsl(0, 0%, 96%);
 | 
	
		
			
				|  |  | -
 | 
	
		
			
				|  |  | -@import "bulma/bulma.sass";
 | 
	
		
			
				|  |  | -
 | 
	
		
			
				|  |  | -@media (max-width: $desktop) {
 | 
	
		
			
				|  |  | -  .hide-sm {
 | 
	
		
			
				|  |  | -    display: none;
 | 
	
		
			
				|  |  | -  }
 | 
	
		
			
				|  |  | -
 | 
	
		
			
				|  |  | -  div#main-view {
 | 
	
		
			
				|  |  | -    min-height: initial;
 | 
	
		
			
				|  |  | -  }
 | 
	
		
			
				|  |  | -
 | 
	
		
			
				|  |  | -  a.button-scale {
 | 
	
		
			
				|  |  | -    width: initial !important;
 | 
	
		
			
				|  |  | -  }
 | 
	
		
			
				|  |  | -}
 | 
	
		
			
				|  |  | -
 | 
	
		
			
				|  |  | -@media (min-width: $tablet) {
 | 
	
		
			
				|  |  | -  nav {
 | 
	
		
			
				|  |  | -    position: fixed !important;
 | 
	
		
			
				|  |  | -    top: 0;
 | 
	
		
			
				|  |  | -    width: 100%;
 | 
	
		
			
				|  |  | -  }
 | 
	
		
			
				|  |  | -
 | 
	
		
			
				|  |  | -  body {
 | 
	
		
			
				|  |  | -    padding-top: $navbar-height;
 | 
	
		
			
				|  |  | -  }
 | 
	
		
			
				|  |  | -
 | 
	
		
			
				|  |  | -  aside#project-menu {
 | 
	
		
			
				|  |  | -    position: fixed;
 | 
	
		
			
				|  |  | -    width: inherit;
 | 
	
		
			
				|  |  | -    top: $navbar-height + $column-gap;
 | 
	
		
			
				|  |  | -    padding-right: $column-gap * 3;
 | 
	
		
			
				|  |  | -  }
 | 
	
		
			
				|  |  | -}
 | 
	
		
			
				|  |  | -
 | 
	
		
			
				|  |  | -aside#project-menu {
 | 
	
		
			
				|  |  | -  user-select: none;
 | 
	
		
			
				|  |  | -}
 | 
	
		
			
				|  |  | -
 | 
	
		
			
				|  |  | -@media (max-width: $tablet) {
 | 
	
		
			
				|  |  | -  div#ci-menu {
 | 
	
		
			
				|  |  | -    padding-right: 1.5rem;
 | 
	
		
			
				|  |  | -  }
 | 
	
		
			
				|  |  | -}
 | 
	
		
			
				|  |  | -
 | 
	
		
			
				|  |  | -div#main-contents {
 | 
	
		
			
				|  |  | -  padding-left: 2rem;
 | 
	
		
			
				|  |  | -  padding-right: 2rem;
 | 
	
		
			
				|  |  | -}
 | 
	
		
			
				|  |  | -
 | 
	
		
			
				|  |  | -div#main-view {
 | 
	
		
			
				|  |  | -  margin-top: 0;
 | 
	
		
			
				|  |  | -  min-height: calc(100vh - #{$navbar-height});
 | 
	
		
			
				|  |  | -}
 | 
	
		
			
				|  |  | -
 | 
	
		
			
				|  |  | -div#ci-view {
 | 
	
		
			
				|  |  | -  padding-bottom: 20rem;
 | 
	
		
			
				|  |  | -}
 | 
	
		
			
				|  |  | -
 | 
	
		
			
				|  |  | -div#ci-menu {
 | 
	
		
			
				|  |  | -  background-color: hsl(0, 0%, 15%);
 | 
	
		
			
				|  |  | -  box-shadow: -3px 0 10px 2px black;
 | 
	
		
			
				|  |  | -  padding-left: 1.5rem;
 | 
	
		
			
				|  |  | -}
 | 
	
		
			
				|  |  | -
 | 
	
		
			
				|  |  | -nav {
 | 
	
		
			
				|  |  | -  box-shadow: 0 -3px 10px 3px black;
 | 
	
		
			
				|  |  | -  user-select: none;
 | 
	
		
			
				|  |  | -}
 | 
	
		
			
				|  |  | -
 | 
	
		
			
				|  |  | -hr.content-divider {
 | 
	
		
			
				|  |  | -  background-color: hsl(0, 0%, 80%);
 | 
	
		
			
				|  |  | -  margin-top: 0.1rem;
 | 
	
		
			
				|  |  | -  height: 1px;
 | 
	
		
			
				|  |  | -}
 | 
	
		
			
				|  |  | -
 | 
	
		
			
				|  |  | -table td.min-size {
 | 
	
		
			
				|  |  | -  width: 1%;
 | 
	
		
			
				|  |  | -  white-space: nowrap;
 | 
	
		
			
				|  |  | -}
 | 
	
		
			
				|  |  | -
 | 
	
		
			
				|  |  | -div.artifact-item {
 | 
	
		
			
				|  |  | -  $artifact-item-radius: 2px;
 | 
	
		
			
				|  |  | -  margin-bottom: 0.75rem;
 | 
	
		
			
				|  |  | -
 | 
	
		
			
				|  |  | -  & > div.artifact-details {
 | 
	
		
			
				|  |  | -    @extend .columns, .is-mobile;
 | 
	
		
			
				|  |  | -
 | 
	
		
			
				|  |  | -    background-color: hsl(0, 0%, 85%);
 | 
	
		
			
				|  |  | -    user-select: none;
 | 
	
		
			
				|  |  | -    align-items: center;
 | 
	
		
			
				|  |  | -    margin-top: 0;
 | 
	
		
			
				|  |  | -    cursor: pointer;
 | 
	
		
			
				|  |  | -
 | 
	
		
			
				|  |  | -    & > div.artifact-id {
 | 
	
		
			
				|  |  | -      @extend .column, .is-narrow, .has-text-white-ter;
 | 
	
		
			
				|  |  | -      background-color: hsl(204, 86%, 53%);
 | 
	
		
			
				|  |  | -      border-top-left-radius: $artifact-item-radius;
 | 
	
		
			
				|  |  | -      border-bottom-left-radius: $artifact-item-radius;
 | 
	
		
			
				|  |  | -    }
 | 
	
		
			
				|  |  | -
 | 
	
		
			
				|  |  | -    & > div.artifact-info {
 | 
	
		
			
				|  |  | -      @extend .column;
 | 
	
		
			
				|  |  | -
 | 
	
		
			
				|  |  | -      padding: 0;
 | 
	
		
			
				|  |  | -      padding-left: 1rem;
 | 
	
		
			
				|  |  | -      padding-right: 1rem;
 | 
	
		
			
				|  |  | -
 | 
	
		
			
				|  |  | -      & > div.artifact-info-content {
 | 
	
		
			
				|  |  | -        @extend .columns, .is-mobile;
 | 
	
		
			
				|  |  | -        & > p {
 | 
	
		
			
				|  |  | -          @extend .column, .is-size-5;
 | 
	
		
			
				|  |  | -        }
 | 
	
		
			
				|  |  | -        & > div.dropdown-button {
 | 
	
		
			
				|  |  | -          @extend .column, .is-narrow;
 | 
	
		
			
				|  |  | -        }
 | 
	
		
			
				|  |  | -      }
 | 
	
		
			
				|  |  | -    }
 | 
	
		
			
				|  |  | -
 | 
	
		
			
				|  |  | -    &:hover {
 | 
	
		
			
				|  |  | -      background-color: hsl(0, 0%, 88%);
 | 
	
		
			
				|  |  | -
 | 
	
		
			
				|  |  | -      & > div.artifact-id {
 | 
	
		
			
				|  |  | -        background-color: hsl(204, 86%, 58%);
 | 
	
		
			
				|  |  | -      }
 | 
	
		
			
				|  |  | -    }
 | 
	
		
			
				|  |  | -  }
 | 
	
		
			
				|  |  | -
 | 
	
		
			
				|  |  | -  & > div.artifact-contents {
 | 
	
		
			
				|  |  | -    @extend .columns;
 | 
	
		
			
				|  |  | -    background-color: hsl(0, 0%, 90%);
 | 
	
		
			
				|  |  | -    border-bottom-left-radius: $artifact-item-radius;
 | 
	
		
			
				|  |  | -    border-bottom-right-radius: $artifact-item-radius;
 | 
	
		
			
				|  |  | -    margin-bottom: 0 !important;
 | 
	
		
			
				|  |  | -
 | 
	
		
			
				|  |  | -    & > div > h2 {
 | 
	
		
			
				|  |  | -      @extend .is-size-4;
 | 
	
		
			
				|  |  | -    }
 | 
	
		
			
				|  |  | -
 | 
	
		
			
				|  |  | -    &:not(.contents-visible) {
 | 
	
		
			
				|  |  | -      display: none;
 | 
	
		
			
				|  |  | -    }
 | 
	
		
			
				|  |  | -  }
 | 
	
		
			
				|  |  | -}
 | 
	
		
			
				|  |  | -
 | 
	
		
			
				|  |  | -a.hash-button {
 | 
	
		
			
				|  |  | -  @extend .button, .is-info, .is-outlined;
 | 
	
		
			
				|  |  | -
 | 
	
		
			
				|  |  | -  font-family: "Lucida Console", Monaco, monospace;
 | 
	
		
			
				|  |  | -  margin-right: 0.5rem;
 | 
	
		
			
				|  |  | -  margin-left: 0;
 | 
	
		
			
				|  |  | -}
 |