Line number margin tweaks.

  1) Background and foreground color set.
  2) Automatic margin width calculation, based on number of digits.
  3) ScriptWidget autocompletion popup now respects Line Number margin.