Note: After publishing, you may have to bypass your browser's cache to see the changes.

  • Firefox / Safari: Hold Shift while clicking Reload, or press either Ctrl-F5 or Ctrl-R (⌘-R on a Mac)
  • Google Chrome: Press Ctrl-Shift-R (⌘-Shift-R on a Mac)
  • Internet Explorer / Edge: Hold Ctrl while clicking Refresh, or press Ctrl-F5
  • Opera: Press Ctrl-F5.
#content {
  font-size : normal ! important;
  font-family : "Lucida Sans", sans-serif;
}

#bodyContent p {
  line-height : 1.6;
}

#bodyContent ul,
#bodyContent ol {
  margin : 0.5em 2em 0.5em 3em;
}

#bodyContent dl {
  margin : 0.5em 2em;
}

#bodyContent ul > ul,
#bodyContent ul > ol,
#bodyContent ol > ul,
#bodyContent ul > ol,
#bodyContent dl > ul,
#bodyContent dl > ol {
  margin : 0.125em 2em;
}

#bodyContent #toc ul {
  margin : 0 0 0 1em ! important;
}

#bodyContent .toclevel-3 {
  font-size : 90%;
}



#bodyContent hr {
  margin : 1em auto;
  width : 95%;
}

#bodyContent table th
, #bodyContent table td
{
  padding : 0.25em 0.5em;
}

.IPA {
  margin : 0 0.25em;
}