This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.
%I A303583 #4 May 13 2018 09:00:19 %S A303583 32,73,206,1132 %N A303583 Van der Waerden numbers W(6,n). %D A303583 Knuth, Donald E., Satisfiability, Fascicle 6, volume 4 of The Art of Computer Programming. Addison-Wesley, 2015, page 5. %Y A303583 Cf. A171181, A007784, A303582. %K A303583 nonn,more %O A303583 3,1 %A A303583 _N. J. A. Sloane_, May 13 2018