/* Notebook:*/
html {
  font-size: 12px;
  padding: 8px;
}
/* Section:*/
.Section {
  font-size: 20px;
  font-family: Helvetica;
  font-weight: bold;
  text-align: center;
  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: Helvetica;
  font-weight: bold;
  text-align: center;
  line-height: 1.1;
}
/* Subsection:*/
.Subsection {
  font-size: 14px;
  font-family: Helvetica;
  font-weight: bold;
  padding: 8px;
  margin-left: 20px;
  margin-top: 12px;
  margin-bottom: 8px;
}
.SubsectionInline {
  font-size: 14px;
  font-family: Helvetica;
  font-weight: bold;
}
/* Subsubsection:*/
.Subsubsection {
  font-size: 13px;
  font-family: Helvetica;
  font-weight: bold;
  padding: 8px;
  margin-left: 25px;
  margin-top: 10px;
  margin-bottom: 2px;
}
.SubsubsectionInline {
  font-size: 13px;
  font-family: Helvetica;
  font-weight: bold;
}
/* Text:*/
.Text {
  line-height: 1.25;
  padding: 8px;
  margin-left: 25px;
  margin-right: 10px;
  margin-top: 7px;
  margin-bottom: 7px;
}
.TextInline {
  line-height: 1.25;
}
/* Input:*/
.Input {
  font-weight: bold;
  padding: 8px;
  margin-left: 25px;
  margin-right: 10px;
  margin-top: 7px;
  margin-bottom: 5px;
}
.InputInline {
  font-weight: bold;
}
/* Output:*/
.Output {
  padding: 8px;
  margin-left: 66px;
  margin-right: 10px;
  margin-top: 5px;
  margin-bottom: 10px;
}
.OutputInline {
}
/* Graphics:*/
.Graphics {
  font-size: 10px;
  font-family: Helvetica;
  padding: 8px;
  margin-left: 30px;
}
.GraphicsInline {
  font-size: 10px;
  font-family: Helvetica;
}
/* Picture:*/
.Picture {
  padding: 8px;
  margin-left: 27px;
  margin-top: 4px;
  margin-bottom: 4px;
}
.PictureInline {
}
/* DisplayFormula:*/
.DisplayFormula {
  padding: 8px;
  margin-left: 60px;
}
.DisplayFormulaInline {
}
/* Program:*/
.Program {
  font-family: Courier;
  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: Courier;
}
/* SmallText:*/
.SmallText {
  font-size: 9px;
  font-family: Helvetica;
  line-height: 1.33333;
  padding: 8px;
  margin-left: 60px;
  margin-right: 10px;
  margin-top: 6px;
  margin-bottom: 6px;
}
.SmallTextInline {
  font-size: 9px;
  font-family: Helvetica;
  line-height: 1.33333;
}
/* HTMLVerbatim:*/
.HTMLVerbatim {
  font-family: Geneva;
  line-height: 1.25;
  padding: 8px;
  margin-left: 25px;
  margin-right: 10px;
  margin-top: 7px;
  margin-bottom: 7px;
}
.HTMLVerbatimInline {
  font-family: Geneva;
  line-height: 1.25;
}
/* MathCaption:*/
.MathCaption {
  line-height: 1.25;
  padding: 8px;
  margin-left: 25px;
  margin-right: 10px;
  margin-top: 7px;
  margin-bottom: 7px;
}
.MathCaptionInline {
  line-height: 1.25;
}
/* Item:*/
.Item {
  padding: 8px;
  margin-left: 75px;
  margin-right: 10px;
  margin-top: 4px;
  margin-bottom: 4px;
  display: list-item;
  list-style-type: Cell[disk, FontWeight -> square];
}
.ItemInline {
}
/* Subitem:*/
.Subitem {
  padding: 8px;
  margin-left: 99px;
  margin-right: 12px;
  margin-top: 4px;
  margin-bottom: 4px;
  display: list-item;
  list-style-type: Cell[disk, FontWeight -> square];
}
.SubitemInline {
}
/* Subsubitem:*/
.Subsubitem {
  padding: 8px;
  margin-left: 123px;
  margin-right: 12px;
  margin-top: 4px;
  margin-bottom: 4px;
  display: list-item;
  list-style-type: Cell[disk, FontWeight -> square];
}
.SubsubitemInline {
}
/* DisplayFormula:*/
.DisplayFormula {
  padding: 8px;
  margin-left: 60px;
}
.DisplayFormulaInline {
}
/* TR:*/
.TR {
  font-family: Times;
  font-style: normal;
  font-weight: normal;
  padding: 8px;
}
.TRInline {
  font-family: Times;
  font-style: normal;
  font-weight: normal;
}
/* TI:*/
.TI {
  font-family: Times;
  font-style: italic;
  font-weight: normal;
  padding: 8px;
}
.TIInline {
  font-family: Times;
  font-style: italic;
  font-weight: normal;
}
/* TB:*/
.TB {
  font-family: Times;
  font-weight: bold;
  padding: 8px;
}
.TBInline {
  font-family: Times;
  font-weight: bold;
}
/* TBI:*/
.TBI {
  font-family: Times;
  font-style: italic;
  font-weight: bold;
  padding: 8px;
}
.TBIInline {
  font-family: Times;
  font-style: italic;
  font-weight: bold;
}
/* MR:*/
.MR {
  font-family: Courier;
  font-style: normal;
  font-weight: normal;
  padding: 8px;
}
.MRInline {
  font-family: Courier;
  font-style: normal;
  font-weight: normal;
}
/* MO:*/
.MO {
  font-family: Courier;
  font-style: italic;
  font-weight: normal;
  padding: 8px;
}
.MOInline {
  font-family: Courier;
  font-style: italic;
  font-weight: normal;
}
/* MB:*/
.MB {
  font-family: Courier;
  font-weight: bold;
  padding: 8px;
}
.MBInline {
  font-family: Courier;
  font-weight: bold;
}
/* MBO:*/
.MBO {
  font-family: Courier;
  font-style: italic;
  font-weight: bold;
  padding: 8px;
}
.MBOInline {
  font-family: Courier;
  font-style: italic;
  font-weight: bold;
}
/* SR:*/
.SR {
  font-family: Helvetica;
  font-style: normal;
  font-weight: normal;
  padding: 8px;
}
.SRInline {
  font-family: Helvetica;
  font-style: normal;
  font-weight: normal;
}
/* SO:*/
.SO {
  font-family: Helvetica;
  font-style: italic;
  font-weight: normal;
  padding: 8px;
}
.SOInline {
  font-family: Helvetica;
  font-style: italic;
  font-weight: normal;
}
/* SB:*/
.SB {
  font-family: Helvetica;
  font-weight: bold;
  padding: 8px;
}
.SBInline {
  font-family: Helvetica;
  font-weight: bold;
}
/* SBO:*/
.SBO {
  font-family: Helvetica;
  font-style: italic;
  font-weight: bold;
  padding: 8px;
}
.SBOInline {
  font-family: Helvetica;
  font-style: italic;
  font-weight: bold;
}

@media screen{
}

@media print{
}

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