@import "syntax-variables";

@red-color: @syntax-color-removed;

atom-text-editor::shadow
{
  .gutter .line-number
  {
    &.highlight-idris-error
    {
      background-color: @red-color;
    }
  }
  .line
  {
    &.highlight-idris-error
    {
      background-color: lighten(@red-color, 20%);
    }
  }
}
@import "syntax-variables";

@red-color: @syntax-color-removed;

atom-text-editor::shadow
{
  .gutter .line-number
  {
    &.highlight-idris-error
    {
      background-color: @red-color;
    }
  }
  .line
  {
    &.highlight-idris-error
    {
    }
  }
}
Remove that error line is highlighted
Remove that error line is highlighted

I found that it makes it very hard to read the content of the line
which has the error or to see where the cursor is. This might be
dependend on the Theme used (Material UI)

The red squiggle to mark the line at the line number bar is unaffected.
