Thanks. I pushed. The docs for java are here [1]. It looks like many of the language pages don't pick up their formatting. Mine did the same at first. Is it fine if I fix them? The =#+HTML_HEAD:= property breaks them. I suspect that it's existence blocks the page from picking up the default css. Also It points to an html id that doesn't exist, so it would have no effect. [1] https://orgmode.org/worg/org-contrib/babel/languages/ob-doc-java.html On Fri, Oct 30, 2020 at 12:40 AM Kyle Meyer wrote: > ian martins writes: > > > I've written some documentation for ob-java for worg. Should I submit a > > patch or is it fine to just push? it doesn't modify any existing files. > > It's fine to just push. >