/* Notebook:*/
html {
  font-size: 12px;
  background-color: #FFF4D4;
  padding: 8px;
}
/* Title:*/
.Title {
  font-size: 36px;
  font-family: Lucida Sans Unicode;
  font-weight: bold;
  color: #B5121B;
  background-color: #FFF4D4;
  line-height: 1.30556;
  padding: 8px;
  margin-left: 27px;
  margin-top: 30px;
  margin-bottom: 10px;
}
.TitleInline {
  font-size: 36px;
  font-family: Lucida Sans Unicode;
  font-weight: bold;
  color: #B5121B;
  background-color: #FFF4D4;
  line-height: 1.30556;
}
/* Subtitle:*/
.Subtitle {
  font-size: 24px;
  font-family: Lucida Sans Unicode;
  color: #B5121B;
  background-color: #FFF4D4;
  padding: 8px;
  margin-left: 27px;
  margin-top: 2px;
  margin-bottom: 20px;
}
.SubtitleInline {
  font-size: 24px;
  font-family: Lucida Sans Unicode;
  color: #B5121B;
  background-color: #FFF4D4;
}
/* Subsubtitle:*/
.Subsubtitle {
  font-size: 16px;
  font-family: Lucida Sans Unicode;
  color: #B5121B;
  background-color: #FFF4D4;
  padding: 8px;
  margin-left: 27px;
  margin-top: 2px;
  margin-bottom: 8px;
}
.SubsubtitleInline {
  font-size: 16px;
  font-family: Lucida Sans Unicode;
  color: #B5121B;
  background-color: #FFF4D4;
}
/* Section:*/
.Section {
  font-size: 20px;
  font-family: Lucida Sans Unicode;
  font-weight: bold;
  color: #B5121B;
  background-color: #FFF4D4;
  line-height: 1.1;
  padding: 4px;
  margin-left: 27px;
  margin-top: 34px;
  margin-bottom: 8px;
  border-left: 0px;
  border-right: 0px;
  border-top: 1px;
  border-bottom: 0px;
  border-style: solid;
  border-color: #000000;
}
.SectionInline {
  font-size: 20px;
  font-family: Lucida Sans Unicode;
  font-weight: bold;
  color: #B5121B;
  background-color: #FFF4D4;
  line-height: 1.1;
}
/* Subsection:*/
.Subsection {
  font-size: 14px;
  font-family: Lucida Sans Unicode;
  font-weight: bold;
  color: #B5121B;
  background-color: #FFF4D4;
  padding: 8px;
  margin-left: 60px;
  margin-top: 12px;
  margin-bottom: 8px;
  display: list-item;
  list-style-type: square;
}
.SubsectionInline {
  font-size: 14px;
  font-family: Lucida Sans Unicode;
  font-weight: bold;
  color: #B5121B;
  background-color: #FFF4D4;
}
/* Subsubsection:*/
.Subsubsection {
  font-size: 13px;
  font-family: Lucida Sans Unicode;
  font-weight: bold;
  color: #B5121B;
  background-color: #FFF4D4;
  padding: 8px;
  margin-left: 62px;
  margin-top: 10px;
  margin-bottom: 2px;
  display: list-item;
  list-style-type: square;
}
.SubsubsectionInline {
  font-size: 13px;
  font-family: Lucida Sans Unicode;
  font-weight: bold;
  color: #B5121B;
  background-color: #FFF4D4;
}
/* Subsubsubsection:*/
.Subsubsubsection {
  font-family: Lucida Sans Unicode;
  font-style: oblique;
  font-weight: bold;
  color: #B5121B;
  background-color: #FFF4D4;
  padding: 8px;
  margin-left: 75px;
  margin-top: 10px;
  margin-bottom: 2px;
  display: list-item;
  list-style-type: {StyleBox[square, FontSlant -> square]};
}
.SubsubsubsectionInline {
  font-family: Lucida Sans Unicode;
  font-style: oblique;
  font-weight: bold;
  color: #B5121B;
  background-color: #FFF4D4;
}
/* Subsubsubsubsection:*/
.Subsubsubsubsection {
  font-family: Lucida Sans Unicode;
  font-weight: bold;
  color: #B5121B;
  background-color: #FFF4D4;
  padding: 8px;
  margin-left: 75px;
  margin-top: 10px;
  margin-bottom: 2px;
}
.SubsubsubsubsectionInline {
  font-family: Lucida Sans Unicode;
  font-weight: bold;
  color: #B5121B;
  background-color: #FFF4D4;
}
/* Text:*/
.Text {
  font-family: Lucida Sans Unicode;
  background-color: #FFF4D4;
  line-height: 1.25;
  padding: 8px;
  margin-left: 60px;
  margin-right: 10px;
  margin-top: 7px;
  margin-bottom: 7px;
}
.TextInline {
  font-family: Lucida Sans Unicode;
  background-color: #FFF4D4;
  line-height: 1.25;
}
/* SmallText:*/
.SmallText {
  font-size: 9px;
  font-family: Lucida Sans Unicode;
  background-color: #FFF4D4;
  line-height: 1.33333;
  padding: 8px;
  margin-left: 60px;
  margin-right: 10px;
  margin-top: 6px;
  margin-bottom: 6px;
}
.SmallTextInline {
  font-size: 9px;
  font-family: Lucida Sans Unicode;
  background-color: #FFF4D4;
  line-height: 1.33333;
}
/* Item:*/
.Item {
  background-color: #FFF4D4;
  padding: 8px;
  margin-left: 75px;
  margin-right: 10px;
  margin-top: 7px;
  margin-bottom: 7px;
  display: list-item;
  list-style-type: Cell[disk, FontWeight -> square];
}
.ItemInline {
  background-color: #FFF4D4;
}
/* Subitem:*/
.Subitem {
  background-color: #FFF4D4;
  padding: 8px;
  margin-left: 99px;
  margin-right: 12px;
  margin-top: 2px;
  margin-bottom: 1px;
  display: list-item;
  list-style-type: Cell[disk, FontWeight -> square];
}
.SubitemInline {
  background-color: #FFF4D4;
}
/* Subsubitem:*/
.Subsubitem {
  background-color: #FFF4D4;
  padding: 8px;
  margin-left: 123px;
  margin-right: 12px;
  margin-top: 2px;
  margin-bottom: 1px;
  display: list-item;
  list-style-type: Cell[disk, FontWeight -> square];
}
.SubsubitemInline {
  background-color: #FFF4D4;
}
/* InlineFormula:*/
.InlineFormula {
  background-color: #FFF4D4;
  padding: 8px;
  margin-left: 10px;
  margin-right: 4px;
  margin-top: 8px;
  margin-bottom: 0px;
}
.InlineFormulaInline {
  background-color: #FFF4D4;
}
/* DisplayFormula:*/
.DisplayFormula {
  font-family: Lucida Sans Unicode;
  background-color: #FFF4D4;
  padding: 8px;
  margin-left: 60px;
}
.DisplayFormulaInline {
  font-family: Lucida Sans Unicode;
  background-color: #FFF4D4;
}
/* DisplayFormulaNumbered:*/
.DisplayFormulaNumbered {
  font-family: Lucida Sans Unicode;
  background-color: #FFF4D4;
  padding: 8px;
  margin-left: 60px;
}
.DisplayFormulaNumberedInline {
  font-family: Lucida Sans Unicode;
  background-color: #FFF4D4;
}
/* Program:*/
.Program {
  font-family: Lucida Sans Unicode;
  background-color: #FFF4D4;
  padding: 8px;
  margin-left: 60px;
  margin-right: 4px;
  margin-top: 8px;
  margin-bottom: 0px;
  border-left: 0px;
  border-right: 0px;
  border-top: 1px;
  border-bottom: 1px;
  border-style: solid;
  border-color: #000000;
}
.ProgramInline {
  font-family: Lucida Sans Unicode;
  background-color: #FFF4D4;
}
/* Header:*/
.Header {
  font-size: 7px;
  font-family: Verdana;
  font-style: italic;
  background-color: #FFF4D4;
  line-height: 2.14286;
  padding: 8px;
  margin-left: 0px;
  margin-right: 0px;
  margin-top: 0px;
  margin-bottom: 0px;
}
.HeaderInline {
  font-size: 7px;
  font-family: Verdana;
  font-style: italic;
  background-color: #FFF4D4;
  line-height: 2.14286;
}
/* HeaderSection:*/
.HeaderSection {
  background-color: #FFF4D4;
  padding: 8px;
}
.HeaderSectionInline {
  background-color: #FFF4D4;
}
/* HeaderSubsection:*/
.HeaderSubsection {
  background-color: #FFF4D4;
  padding: 8px;
}
.HeaderSubsectionInline {
  background-color: #FFF4D4;
}
/* HeaderTitle:*/
.HeaderTitle {
  background-color: #FFF4D4;
  padding: 8px;
}
.HeaderTitleInline {
  background-color: #FFF4D4;
}
/* Footer:*/
.Footer {
  font-size: 6px;
  font-family: Verdana;
  background-color: #FFF4D4;
  padding: 8px;
  margin-left: 0px;
  margin-right: 0px;
  margin-top: 0px;
  margin-bottom: 0px;
}
.FooterInline {
  font-size: 6px;
  font-family: Verdana;
  background-color: #FFF4D4;
}
/* FooterSection:*/
.FooterSection {
  background-color: #FFF4D4;
  padding: 8px;
}
.FooterSectionInline {
  background-color: #FFF4D4;
}
/* FooterSubsection:*/
.FooterSubsection {
  background-color: #FFF4D4;
  padding: 8px;
}
.FooterSubsectionInline {
  background-color: #FFF4D4;
}
/* FooterTitle:*/
.FooterTitle {
  background-color: #FFF4D4;
  padding: 8px;
}
.FooterTitleInline {
  background-color: #FFF4D4;
}
/* PageNumber:*/
.PageNumber {
  font-size: 7px;
  font-family: Verdana;
  font-weight: bold;
  background-color: #FFF4D4;
  line-height: 2.14286;
  padding: 8px;
}
.PageNumberInline {
  font-size: 7px;
  font-family: Verdana;
  font-weight: bold;
  background-color: #FFF4D4;
  line-height: 2.14286;
}

@media screen{
}

@media print{
/* Title:Printout*/
.Title {
  padding: 8pt;
  margin-left: 2pt;
  margin-right: 10pt;
  margin-top: 30pt;
  margin-bottom: 12pt;
}
.TitleInline {
}
/* Subtitle:Printout*/
.Subtitle {
  padding: 8pt;
  margin-left: 2pt;
  margin-right: 10pt;
  margin-top: 8pt;
  margin-bottom: 12pt;
}
.SubtitleInline {
}
/* Subsubtitle:Printout*/
.Subsubtitle {
  padding: 8pt;
  margin-left: 2pt;
  margin-right: 10pt;
  margin-top: 8pt;
  margin-bottom: 12pt;
}
.SubsubtitleInline {
}
/* Section:Printout*/
.Section {
  padding: 8pt;
  margin-left: 2pt;
  margin-right: 0pt;
  margin-top: 22pt;
  margin-bottom: 7pt;
}
.SectionInline {
}
/* Subsection:Printout*/
.Subsection {
  padding: 8pt;
  margin-left: 9pt;
  margin-right: 0pt;
  margin-top: 22pt;
  margin-bottom: 7pt;
}
.SubsectionInline {
}
/* Subsubsection:Printout*/
.Subsubsection {
  padding: 8pt;
  margin-left: 35pt;
  margin-right: 0pt;
  margin-top: 14pt;
  margin-bottom: 7pt;
}
.SubsubsectionInline {
}
/* Subsubsubsection:Printout*/
.Subsubsubsection {
  padding: 8pt;
  margin-left: 50pt;
  margin-right: 0pt;
  margin-top: 14pt;
  margin-bottom: 7pt;
}
.SubsubsubsectionInline {
}
/* Subsubsubsubsection:Printout*/
.Subsubsubsubsection {
  padding: 8pt;
  margin-left: 50pt;
  margin-right: 0pt;
  margin-top: 14pt;
  margin-bottom: 7pt;
}
.SubsubsubsubsectionInline {
}
/* Text:Printout*/
.Text {
  padding: 8pt;
  margin-left: 2pt;
  margin-right: 2pt;
  margin-top: 6pt;
  margin-bottom: 6pt;
}
.TextInline {
}
/* SmallText:Printout*/
.SmallText {
  padding: 8pt;
  margin-left: 2pt;
  margin-right: 2pt;
  margin-top: 5pt;
  margin-bottom: 5pt;
}
.SmallTextInline {
}
/* Item:Printout*/
.Item {
  font-size: 10pt;
  padding: 8pt;
  margin-left: 50pt;
  margin-right: 0pt;
  margin-top: 14pt;
  margin-bottom: 7pt;
}
.ItemInline {
  font-size: 10pt;
}
/* Subitem:Printout*/
.Subitem {
  font-size: 10pt;
  padding: 8pt;
  margin-left: 82pt;
  margin-right: 2pt;
  margin-top: 1pt;
  margin-bottom: 1pt;
}
.SubitemInline {
  font-size: 10pt;
}
/* Subsubitem:Printout*/
.Subsubitem {
  font-size: 10pt;
  padding: 8pt;
  margin-left: 106pt;
  margin-right: 2pt;
  margin-top: 1pt;
  margin-bottom: 1pt;
}
.SubsubitemInline {
  font-size: 10pt;
}
/* InlineFormula:Printout*/
.InlineFormula {
  padding: 8pt;
  margin-left: 2pt;
  margin-right: 0pt;
  margin-top: 6pt;
  margin-bottom: 6pt;
}
.InlineFormulaInline {
}
/* DisplayFormula:Printout*/
.DisplayFormula {
  padding: 8pt;
}
.DisplayFormulaInline {
}
/* DisplayFormulaNumbered:Printout*/
.DisplayFormulaNumbered {
  padding: 8pt;
}
.DisplayFormulaNumberedInline {
}
/* Program:Printout*/
.Program {
  padding: 8pt;
  margin-left: 2pt;
  margin-right: 0pt;
  margin-top: 6pt;
  margin-bottom: 6pt;
}
.ProgramInline {
}
/* Header:Printout*/
.Header {
  font-size: 100%;
  padding: 8pt;
}
.HeaderInline {
  font-size: 100%;
}
/* HeaderSection:Printout*/
.HeaderSection {
  font-size: 100%;
  padding: 8pt;
}
.HeaderSectionInline {
  font-size: 100%;
}
/* HeaderSubsection:Printout*/
.HeaderSubsection {
  font-size: 100%;
  padding: 8pt;
}
.HeaderSubsectionInline {
  font-size: 100%;
}
/* HeaderTitle:Printout*/
.HeaderTitle {
  font-size: 100%;
  padding: 8pt;
}
.HeaderTitleInline {
  font-size: 100%;
}
/* Footer:Printout*/
.Footer {
  font-size: 100%;
  padding: 8pt;
}
.FooterInline {
  font-size: 100%;
}
/* FooterSection:Printout*/
.FooterSection {
  font-size: 100%;
  padding: 8pt;
}
.FooterSectionInline {
  font-size: 100%;
}
/* FooterSubsection:Printout*/
.FooterSubsection {
  font-size: 100%;
  padding: 8pt;
}
.FooterSubsectionInline {
  font-size: 100%;
}
/* FooterTitle:Printout*/
.FooterTitle {
  font-size: 100%;
  padding: 8pt;
}
.FooterTitleInline {
  font-size: 100%;
}
/* PageNumber:Printout*/
.PageNumber {
  font-size: 100%;
  padding: 8pt;
}
.PageNumberInline {
  font-size: 100%;
}
}

.script {font-family: Mathematica5, cursive}
.gothic {font-family: Mathematica6, Century Gothic}
.doublestruck {font-family: Mathematica7}