server/src/public/css/app.css
changeset 387 7fba86fa8604
parent 386 c731ab9b934d
child 389 2204faa0b41a
equal deleted inserted replaced
386:c731ab9b934d 387:7fba86fa8604
  6059   color: #085; }
  6059   color: #085; }
  6060 
  6060 
  6061 .corpus-rdf-boolean-false {
  6061 .corpus-rdf-boolean-false {
  6062   color: #a11; }
  6062   color: #a11; }
  6063 
  6063 
       
  6064 .error-btn.collapsed .caret {
       
  6065   border-top: 0;
       
  6066   border-bottom: 4px dashed;
       
  6067   border-bottom: 4px solid \9;
       
  6068   content: ""; }
       
  6069 
       
  6070 #baseExceptionCollapse {
       
  6071   margin-top: 10px; }
       
  6072 
  6064 /*# sourceMappingURL=app.css.map */
  6073 /*# sourceMappingURL=app.css.map */