pageTemplate :: Resources -> Html
pageTemplate res = header << style << css_style res +++
                   body << navigation +++
                           titleArea res +++
                           notesArea res +++
                           inputAreaTemplate res +++
                           hr +++
                           proofsAreaTemplate res
pageTemplate :: Resources -> Html
pageTemplate res = header << style << css_style res +++
                   body << navigation +++
                           titleArea res +++
                           notesArea res +++
                           inputAreaTemplate res +++
                           hr +++
                           proofsAreaTemplate res
pageTemplate res = header << style << css_style res +++
                   body << navigation +++
                           titleArea res +++
                           notesArea res +++
                           inputAreaTemplate res +++
                           hr +++
                           proofsAreaTemplate res