☰

eTools in two columns for widescreen desktop PC

eTools search engine in two columns for widescreen desktop PC - works best with a DuckDuckGo menu pass-through and an URL that gives 16 results.

  1. // ==UserScript==
  2. // @name          eTools in two columns for widescreen desktop PC
  3. // @description   eTools search engine in two columns for widescreen desktop PC - works best with a DuckDuckGo menu pass-through and an URL that gives 16 results.
  4. // @author        dhaden
  5. // @homepage
  6. // @include       https://*.etools.ch/*
  7. // @version       
  8. // @namespace https://greasyfork.org/users/186630
  9. // ==/UserScript==
  10. (function() {var css = [".result {",
  11. "    display: table-cell;",
  12. "    columns: auto;",
  13. "    columns: 2;",
  14. "    vertical-align: middle;",
  15. "    width: 80%;",
  16. "}",
  17. ".record {",
  18. "    display: inline-block;",
  19. "}",
  20. "td.count {",
  21. "    text-align: left;",
  22. "    padding-right: 5px;",
  23. "    color: #ffffff;",
  24. "    font-size: 16px;",
  25. "    font-weight: bold;",
  26. "}",
  27. "strong, a.title {",
  28. "    font-weight: bold;",
  29. "    font-size: 11pt;",
  30. "}",
  31. "div.attr {",
  32. "    font-size: 12px;",
  33. "    color: #6392d0;",
  34. "    margin-bottom: 3px;",
  35. "}",
  36. "var {",
  37. "    font-style: normal;",
  38. "    font-size: 13px;",
  39. "    color: #d76351;",
  40. "}",
  41. "em {",
  42. "    background-color: #ffffff;",
  43. "    font-style: normal;",
  44. "    text-decoration: inherit;",
  45. "}",
  46. "div.rankBox {",
  47. "    border: 1px solid #ffffff;",
  48. "    position: absolute;",
  49. "    width: 5px;",
  50. "    height: 30px;",
  51. "    margin: 3px 0 0 2px;",
  52. "}",
  53. "span.rankInd {",
  54. "    background-color: #ffffff;",
  55. "    position: absolute;",
  56. "    width: 5px;",
  57. "    bottom: 0;",
  58. "}"
  59. ].join("\n");
  60. if (typeof GM_addStyle != 'undefined') {
  61.  GM_addStyle(css);
  62.  } else if (typeof PRO_addStyle != 'undefined') {
  63.  PRO_addStyle(css);
  64.  } else if (typeof addStyle != 'undefined') {
  65.  addStyle(css);
  66.  } else {
  67.  var node = document.createElement('style');
  68.  node.type = 'text/css';
  69.  node.appendChild(document.createTextNode(css));
  70.  var heads = document.getElementsByTagName('head');
  71.  if (heads.length > 0) { heads[0].appendChild(node);
  72.  } else {
  73.  // no head yet, stick it whereever
  74.  document.documentElement.appendChild(node);
  75.  }
  76. }})();