/* 
    Document   : editor
    Created on : Mar 30, 2009, 10:02:59 AM
    Author     : hading
    Description:
        Purpose of the stylesheet follows.
*/

/*
  This file is the one that the TinyMCE editors will hit to fill up their
  "Styles" box. So it should have some reasonable defaults for people to apply.
  Especially relevant is to make sure that we have here what a user might
  need to undo a cut and paste gone awry back to the site defaults. However,
  we should also make sure that the names we give don't interfere with other
  styles, as this stylesheet gets included in the views.

  Another idea would be to take advantage of the fact that all this content
  is wrapped in 'user' divs. We can define defaults for those here and then
  TinyMCE will pick them up as options. We (or a user) can override later in
  another stylesheet file.

  Note that in this approach that our code wraps things in div.user. TinyMCE
  will wrap things in a span.user (or span.whatever). So we'd need to account
  for that in some way.

  It looks like we can set content_css for the TinyMCEs to reference more than
  one file. In this case we could also conceive of making available a CSS file
  for each learning element, editable by its collaborators, and linking both
  this file and the element specific file to the pages.

  I'm still undecided what the best way to handle it is. Still, we try something
  for now.
*/

/* This should correspond to the basic look that a user gets by doing nothing
   else. */
span.default {
  font-family: "Lucida Grande", Tahoma, Verdana, sans-serif;
  font-size: 11px;
  margin: 0;
  padding: 0;
}