Theorems in org-mode?

[Rafael <rvf0068@gmail.com>]

Motivated by the side note by Nicolas in
http://www.mail-archive.com/emacs-orgmode@gnu.org/msg55225.html, I tried
the example at the end of this message, which requires
org-special-blocks.el. It exports nicely to LaTeX->PDF with the new
exporter (not so much with the old), so thanks!

I wonder what I would need to add to make it export nicely to HTML with
either the old or the new exporter. The old exporter inserts the labels
with the text of the theorems, and the new inserts stuff like
\begin{theorem} .. \end{theorem} with the text of the theorems.

Now, the org-special-blocks documentation says:

  When #+begin_foo is encountered by the html exporter, a div
  with class foo is inserted into the HTML file.  It is up to the
  user to add this class to his or her stylesheet if this div is to
  mean anything.

I have used

#+STYLE: <style>.theorem {}
#+STYLE: .theorem:before {content: "Theorem: "; font-weight: bold}</style>

but if somebody with actual HTML knowledge could suggest something
prettier I would appreciate it.

Best regards,
Rafael

#+begin_src org
#+title: Theorems in org-mode

#+latex_header: \usepackage{amsthm}
#+latex_header: \newtheorem{theorem}{Theorem}
#+latex_header: \newtheorem{definition}{Definition}

#+options: ^:nil

* Some theory

#+begin_definition
<<def-1>>
A /right triangle/ is a triangle with a right angle.
#+end_definition

#+begin_theorem
<<thm-1>>
We have that $a^2+b^2=c^2$.
#+end_theorem

This is an equation:

#+begin_equation
<<eq-1>>
a^2+b^2=c^2
#+end_equation

* Some references

Theorem [[thm-1]] deals with triangles as in Definition [[def-1]], and
satisfies equation ([[eq-1]]).
#+end_src