.Notebook {
  font-size: 16px;
  background-color: #E5E5E5;
  padding: 8px;
}
.Title {
  font-size: 40px;
  font-family: Arial;
  font-weight: bold;
  color: #FFFFFF;
  background-color: #B70032;
  line-height: 44px;
  padding: 8px;
  margin-left: 0px;
  margin-right: 0px;
  margin-top: 0px;
  margin-bottom: 0px;
}
.TitleInline {
  font-size: 40px;
  font-family: Arial;
  font-weight: bold;
  color: #FFFFFF;
  background-color: #B70032;
  line-height: 44px;
}
.Subtitle {
  font-size: 30px;
  font-family: Arial;
  color: #FFFFFF;
  background-color: #B70032;
  line-height: 34px;
  padding: 8px;
  margin-left: 98px;
  margin-right: 0px;
  margin-top: 0px;
  margin-bottom: 20px;
}
.SubtitleInline {
  font-size: 30px;
  font-family: Arial;
  color: #FFFFFF;
  background-color: #B70032;
  line-height: 34px;
}
.Author {
  font-size: 22px;
  font-family: Arial;
  font-style: italic;
  color: #000000;
  line-height: 1;
  padding-left: 4px;
  padding-right: 4px;
  padding-top: 8px;
  padding-bottom: 2px;
  margin-left: 98px;
  margin-right: 0px;
  margin-top: 10px;
  margin-bottom: 60px;
  border-left: 0px;
  border-right: 0px;
  border-top: 0px;
  border-bottom: 2px;
  border-style: solid;
  border-color: #000000;
}
.AuthorInline {
  font-size: 22px;
  font-family: Arial;
  font-style: italic;
  color: #000000;
  line-height: 1;
}
.Subsubtitle {
  font-size: 24px;
  font-family: Arial;
  font-style: italic;
  color: #000000;
  line-height: 1;
  padding: 8px;
  margin-left: 24px;
  margin-right: 10px;
  margin-top: 20px;
  margin-bottom: 10px;
}
.SubsubtitleInline {
  font-size: 24px;
  font-family: Arial;
  font-style: italic;
  color: #000000;
  line-height: 1;
}
.Section {
  font-size: 24px;
  font-family: Arial;
  font-weight: bold;
  line-height: 1;
  padding-left: 0px;
  padding-right: 0px;
  padding-top: 4px;
  padding-bottom: 1px;
  margin-left: 40px;
  margin-right: 22px;
  margin-top: 30px;
  margin-bottom: 0px;
  border-left: 0px;
  border-right: 0px;
  border-top: 2px;
  border-bottom: 0px;
  border-style: solid;
  border-color: #B70032;
}
.SectionInline {
  font-size: 24px;
  font-family: Arial;
  font-weight: bold;
  line-height: 1;
}
.Subsection {
  font-size: 22px;
  font-family: Arial;
  font-weight: bold;
  line-height: 1;
  padding-left: 0px;
  padding-right: 0px;
  padding-top: 2px;
  padding-bottom: 0px;
  margin-left: 40px;
  margin-right: 22px;
  margin-top: 30px;
  margin-bottom: 0px;
  border-left: 0px;
  border-right: 0px;
  border-top: 2px;
  border-bottom: 0px;
  border-style: solid;
  border-color: #C0C0C0;
}
.SubsectionInline {
  font-size: 22px;
  font-family: Arial;
  font-weight: bold;
  line-height: 1;
}
.Subsubsection {
  font-size: 18px;
  font-family: Arial;
  font-weight: bold;
  line-height: 1;
  padding: 8px;
  margin-left: 99px;
  margin-right: 60px;
  margin-top: 26px;
  margin-bottom: 0px;
  display: list-item;
  list-style-type: square;
}
.SubsubsectionInline {
  font-size: 18px;
  font-family: Arial;
  font-weight: bold;
  line-height: 1;
}
.Rule {
  font-size: 18px;
  font-family: Arial;
  line-height: 1;
  padding: 0px;
  margin-left: 99px;
  margin-right: 22px;
  margin-top: 4px;
  margin-bottom: 0px;
  border-left: 0px;
  border-right: 0px;
  border-top: 0px;
  border-bottom: 2px;
  border-style: solid;
  border-color: #FFFFFF;
}
.RuleInline {
  font-size: 18px;
  font-family: Arial;
  line-height: 1;
}
.Text {
  font-size: 16px;
  font-family: Arial;
  text-align: justify;
  line-height: 1.1875;
  padding: 8px;
  margin-left: 99px;
  margin-right: 22px;
  margin-top: 10px;
  margin-bottom: 10px;
}
.TextInline {
  font-size: 16px;
  font-family: Arial;
  text-align: justify;
  line-height: 1.1875;
}
.SmallText {
  font-size: 12px;
  font-family: Arial;
  color: #000000;
  line-height: 1.41667;
  padding: 8px;
  margin-left: 119px;
  margin-right: 22px;
  margin-top: 10px;
  margin-bottom: 10px;
}
.SmallTextInline {
  font-size: 12px;
  font-family: Arial;
  color: #000000;
  line-height: 1.41667;
}
.MathCaption {
  font-size: 16px;
  font-family: Arial;
  color: #B70032;
  text-align: justify;
  line-height: 1.0625;
  padding: 5px;
  margin-left: 105px;
  margin-right: 22px;
  margin-top: 14px;
  margin-bottom: 0px;
  border-left: 4px;
  border-right: 0px;
  border-top: 0px;
  border-bottom: 0px;
  border-style: solid;
  border-color: #B70032;
}
.MathCaptionInline {
  font-size: 16px;
  font-family: Arial;
  color: #B70032;
  text-align: justify;
  line-height: 1.0625;
}
.EnumerationText {
  font-size: 16px;
  font-family: Arial;
  text-align: justify;
  line-height: 1.0625;
  padding: 8px;
  margin-left: 120px;
  margin-right: 22px;
  margin-top: 5px;
  margin-bottom: 0px;
  display: list-item;
  list-style-type: square;
}
.EnumerationTextInline {
  font-size: 16px;
  font-family: Arial;
  text-align: justify;
  line-height: 1.0625;
}
.EnumerationText2L {
  font-size: 16px;
  font-family: Arial;
  text-align: justify;
  line-height: 1.0625;
  padding: 8px;
  margin-left: 130px;
  margin-right: 22px;
  margin-top: 1px;
  margin-bottom: 0px;
  display: list-item;
  list-style-type: square;
}
.EnumerationText2LInline {
  font-size: 16px;
  font-family: Arial;
  text-align: justify;
  line-height: 1.0625;
}
.GlossaryTopic {
  font-size: 16px;
  font-family: Arial;
  font-weight: bold;
  text-align: justify;
  line-height: 1.0625;
  padding: 8px;
  margin-left: 99px;
  margin-right: 22px;
  margin-top: 0px;
  margin-bottom: -7px;
}
.GlossaryTopicInline {
  font-size: 16px;
  font-family: Arial;
  font-weight: bold;
  text-align: justify;
  line-height: 1.0625;
}
.Input {
  font-size: 16px;
  font-weight: bold;
  color: #000000;
  line-height: 1;
  padding: 12px;
  margin-left: 99px;
  margin-right: 45px;
  margin-top: 10px;
  margin-bottom: 0px;
  border: 2px;
  border-style: solid;
  border-color: #909090;
}
.InputInline {
  font-size: 16px;
  font-weight: bold;
  color: #000000;
  line-height: 1;
}
.InputOnly {
  font-size: 16px;
  font-weight: bold;
  padding: 8px;
  margin-left: 99px;
}
.InputOnlyInline {
  font-weight: bold;
}
.InputWord {
  font-size: 16px;
  font-weight: bold;
  padding: 8px;
  margin-left: 99px;
}
.InputWordInline {
  font-weight: bold;
}
.Output {
  font-size: 16px;
  background-color: #FFFFFF;
  line-height: 1;
  padding: 12px;
  margin-left: 99px;
  margin-right: 45px;
  margin-top: 0px;
  margin-bottom: 10px;
  border: 3px;
  border-style: solid;
  border-color: #909090;
}
.OutputInline {
  font-size: 16px;
  background-color: #FFFFFF;
  line-height: 1;
}
.Message {
  font-size: 16px;
  color: #B1343A;
  background-color: #DCDDDE;
  line-height: 1;
  padding: 8px;
  margin-left: 99px;
  margin-right: 45px;
}
.MessageInline {
  color: #B1343A;
  background-color: #DCDDDE;
  line-height: 1;
}
.Print {
  font-size: 16px;
  background-color: #E5E5E5;
  line-height: 1;
  padding: 8px;
  margin-left: 99px;
  margin-right: 45px;
  margin-top: 0px;
  margin-bottom: 0px;
}
.PrintInline {
  background-color: #E5E5E5;
  line-height: 1;
}
.Graphics {
  font-size: 16px;
  background-color: #E5E5E5;
  padding: 8px;
  margin-left: 99px;
  margin-right: 45px;
  margin-top: 0px;
  margin-bottom: 10px;
}
.GraphicsInline {
  background-color: #E5E5E5;
}
.CellLabel {
  font-size: 12px;
  font-family: Helvetica;
  color: #000000;
  margin-top: 0px;
  margin-bottom: 0px;
}
.Definition {
  font-size: 18px;
  font-family: Arial;
  font-style: normal;
  font-weight: bold;
  text-decoration: none;
  color: #B70032;
  text-align: justify;
  line-height: 1;
  padding: 8px;
  margin-left: 99px;
  margin-right: 22px;
  margin-top: 10px;
  margin-bottom: 10px;
}
.DefinitionInline {
  font-size: 18px;
  font-family: Arial;
  font-style: normal;
  font-weight: bold;
  text-decoration: none;
  color: #B70032;
  text-align: justify;
  line-height: 1;
}
.Theorem {
  font-size: 18px;
  font-family: Arial;
  font-style: normal;
  font-weight: bold;
  text-decoration: none;
  color: #B70032;
  text-align: justify;
  line-height: 1;
  padding: 8px;
  margin-left: 99px;
  margin-right: 22px;
  margin-top: 10px;
  margin-bottom: 10px;
}
.TheoremInline {
  font-size: 18px;
  font-family: Arial;
  font-style: normal;
  font-weight: bold;
  text-decoration: none;
  color: #B70032;
  text-align: justify;
  line-height: 1;
}
.Example {
  font-size: 16px;
  font-family: Arial;
  font-style: normal;
  font-weight: bold;
  text-decoration: none;
  color: #B70032;
  text-align: justify;
  line-height: 1;
  padding: 8px;
  margin-left: 99px;
  margin-right: 22px;
  margin-top: 10px;
  margin-bottom: 10px;
}
.ExampleInline {
  font-size: 16px;
  font-family: Arial;
  font-style: normal;
  font-weight: bold;
  text-decoration: none;
  color: #B70032;
  text-align: justify;
  line-height: 1;
}
.InlineFormula {
  font-size: 16px;
  line-height: 1.3125;
  padding: 8px;
  margin-left: 99px;
  margin-right: 10px;
  margin-top: 10px;
  margin-bottom: 10px;
}
.InlineFormulaInline {
  line-height: 1.41667;
}
.DisplayFormula {
  font-size: 16px;
  line-height: 1.3125;
  padding: 8px;
  margin-left: 99px;
  margin-top: 10px;
}
.DisplayFormulaInline {
  line-height: 1.41667;
}
.Hyperlink {
  font-size: 16px;
  text-decoration: underline;
  color: #B70032;
  padding: 8px;
}
.HyperlinkInline {
  text-decoration: underline;
  color: #B70032;
}
.MainBookLink {
  font-size: 16px;
  text-decoration: underline;
  color: #B70032;
  padding: 8px;
}
.MainBookLinkInline {
  text-decoration: underline;
  color: #B70032;
}
.AddOnsLink {
  font-size: 16px;
  font-family: Courier;
  text-decoration: underline;
  color: #B70032;
  padding: 8px;
}
.AddOnsLinkInline {
  font-family: Courier;
  text-decoration: underline;
  color: #B70032;
}
.RefGuideLink {
  font-size: 16px;
  font-family: Courier;
  text-decoration: underline;
  color: #B70032;
  padding: 8px;
}
.RefGuideLinkInline {
  font-family: Courier;
  text-decoration: underline;
  color: #B70032;
}
.GettingStartedLink {
  font-size: 16px;
  text-decoration: underline;
  color: #B70032;
  padding: 8px;
}
.GettingStartedLinkInline {
  text-decoration: underline;
  color: #B70032;
}
.OtherInformationLink {
  font-size: 16px;
  text-decoration: underline;
  color: #B70032;
  padding: 8px;
}
.OtherInformationLinkInline {
  text-decoration: underline;
  color: #B70032;
}
.Header {
  font-size: 10px;
  font-style: italic;
  padding: 8px;
  margin-left: 0px;
  margin-right: 0px;
  margin-top: 1px;
  margin-bottom: 4px;
}
.HeaderInline {
  font-size: 10px;
  font-style: italic;
}
.Footer {
  font-size: 9px;
  font-style: italic;
  padding: 8px;
  margin-left: 0px;
  margin-right: 0px;
  margin-top: 4px;
  margin-bottom: 0px;
}
.FooterInline {
  font-size: 9px;
  font-style: italic;
}
.PageNumber {
  font-size: 10px;
  font-family: Times;
  padding: 8px;
  margin-left: 0px;
  margin-right: 0px;
  margin-top: 1px;
  margin-bottom: 4px;
}
.PageNumberInline {
  font-size: 10px;
  font-family: Times;
}
.Paste {
  font-size: 16px;
  padding: 8px;
}
.PasteInline {
}
.Evaluate {
  font-size: 16px;
  padding: 8px;
}
.EvaluateInline {
}
.EvaluateCell {
  font-size: 16px;
  padding: 8px;
}
.EvaluateCellInline {
}
.CopyEvaluate {
  font-size: 16px;
  padding: 8px;
}
.CopyEvaluateInline {
}
.CopyEvaluateCell {
  font-size: 16px;
  padding: 8px;
}
.CopyEvaluateCellInline {
}
.Placeholder {
  font-size: 16px;
  font-style: italic;
  color: #E3DC62;
  padding: 8px;
}
.PlaceholderInline {
  font-style: italic;
  color: #E3DC62;
}
.PrimaryPlaceholder {
  font-size: 16px;
  font-style: italic;
  background-color: #E9E381;
  padding: 8px;
}
.PrimaryPlaceholderInline {
  font-style: italic;
  background-color: #E9E381;
}
.CellExpression {
  font-size: 12px;
  font-family: Courier;
  background-color: #FFFFFF;
  padding: 8px;
  margin-left: 6px;
}
.CellExpressionInline {
  font-size: 12px;
  font-family: Courier;
  background-color: #FFFFFF;
}
.InputForm {
  font-size: 16px;
  font-family: Courier;
  padding: 8px;
}
.InputFormInline {
  font-family: Courier;
}
.OutputForm {
  font-size: 16px;
  font-family: Courier;
  text-align: left;
  line-height: 0.6625;
  padding: 8px;
}
.OutputFormInline {
  font-family: Courier;
  text-align: left;
  line-height: 0.683333;
}
.StandardForm {
  font-size: 16px;
  font-family: Courier;
  line-height: 1.25;
  padding: 8px;
}
.StandardFormInline {
  font-family: Courier;
  line-height: 1.25;
}
.TraditionalForm {
  font-size: 16px;
  line-height: 1.25;
  padding: 8px;
}
.TraditionalFormInline {
  line-height: 1.25;
}
.InlineCell {
  font-size: 16px;
  text-align: left;
  padding: 8px;
}
.InlineCellInline {
  text-align: left;
}
.InlineCellEditing {
  font-size: 16px;
  background-color: #FFBFCC;
  padding: 8px;
}
.InlineCellEditingInline {
  background-color: #FFBFCC;
}
.UnmatchedBracket {
  font-size: 16px;
  color: #C254CC;
  padding: 8px;
}
.UnmatchedBracketInline {
  color: #C254CC;
}
.NumberedEquation {
  font-size: 16px;
  font-family: Arial;
  padding: 8px;
  margin-left: 99px;
  margin-right: 22px;
  margin-top: 10px;
  margin-bottom: 0px;
}
.NumberedEquationInline {
  font-size: 16px;
  font-family: Arial;
}
.NumberedFigure {
  font-size: 16px;
  font-family: Arial;
  padding: 8px;
  margin-left: 55px;
  margin-right: 145px;
  margin-top: 10px;
  margin-bottom: 2px;
}
.NumberedFigureInline {
  font-family: Arial;
}
.NumberedTable {
  font-size: 16px;
  font-family: Arial;
  text-align: center;
  padding: 8px;
  margin-left: 99px;
  margin-right: 145px;
  margin-top: 10px;
  margin-bottom: 2px;
}
.NumberedTableInline {
  font-family: Arial;
  text-align: center;
}
.NumberedExample {
  font-size: 16px;
  font-family: Arial;
  font-style: normal;
  font-weight: bold;
  text-decoration: none;
  color: #804000;
  text-align: justify;
  line-height: 1;
  padding: 8px;
  margin-left: 99px;
  margin-right: 22px;
  margin-top: 10px;
  margin-bottom: 10px;
}
.NumberedExampleInline {
  font-size: 16px;
  font-family: Arial;
  font-style: normal;
  font-weight: bold;
  text-decoration: none;
  color: #804000;
  text-align: justify;
  line-height: 1;
}
.NumberedReference {
  font-size: 16px;
  font-family: Arial;
  text-align: justify;
  line-height: 1.1875;
  padding: 8px;
  margin-left: 99px;
  margin-right: 22px;
  margin-top: 10px;
  margin-bottom: 10px;
}
.NumberedReferenceInline {
  font-size: 16px;
  font-family: Arial;
  text-align: justify;
  line-height: 1.1875;
}
.NumberedFigurCaption {
  font-size: 12px;
  font-family: Arial;
  color: #172F75;
  line-height: 1.41667;
  padding: 8px;
  margin-left: 99px;
  margin-right: 22px;
  margin-top: 10px;
  margin-bottom: 0px;
}
.NumberedFigurCaptionInline {
  font-size: 12px;
  font-family: Arial;
  color: #172F75;
  line-height: 1.41667;
}
.NumberedTableCaption {
  font-size: 12px;
  font-family: Arial;
  color: #172F75;
  line-height: 1.41667;
  padding: 8px;
  margin-left: 99px;
  margin-right: 22px;
  margin-top: 10px;
  margin-bottom: 0px;
}
.NumberedTableCaptionInline {
  font-size: 12px;
  font-family: Arial;
  color: #172F75;
  line-height: 1.41667;
}
.SingleRowTable {
  font-size: 16px;
  padding: 8px;
  margin-left: 99px;
  margin-right: 22px;
  margin-top: 10px;
  margin-bottom: 10px;
}
.SingleRowTableInline {
}
.X2ColumnTable {
  font-size: 16px;
  padding: 8px;
  margin-left: 99px;
  margin-right: 22px;
  margin-top: 10px;
  margin-bottom: 10px;
}
.X2ColumnTableInline {
}
.X2ColumnEvenTable {
  font-size: 16px;
  padding: 8px;
  margin-left: 99px;
  margin-right: 22px;
  margin-top: 10px;
  margin-bottom: 10px;
}
.X2ColumnEvenTableInline {
}
.X3ColumnTable {
  font-size: 16px;
  padding: 8px;
  margin-left: 99px;
  margin-right: 22px;
  margin-top: 10px;
  margin-bottom: 10px;
}
.X3ColumnTableInline {
}
.X4ColumnTable {
  font-size: 16px;
  padding: 8px;
  margin-left: 99px;
  margin-right: 22px;
  margin-top: 10px;
  margin-bottom: 10px;
}
.X4ColumnTableInline {
}
.X5ColumnTable {
  font-size: 16px;
  padding: 8px;
  margin-left: 99px;
  margin-right: 22px;
  margin-top: 10px;
  margin-bottom: 10px;
}
.X5ColumnTableInline {
}
.X6ColumnTable {
  font-size: 16px;
  padding: 8px;
  margin-left: 99px;
  margin-right: 22px;
  margin-top: 10px;
  margin-bottom: 10px;
}
.X6ColumnTableInline {
}
.X7ColumnTable {
  font-size: 16px;
  padding: 8px;
  margin-left: 99px;
  margin-right: 22px;
  margin-top: 10px;
  margin-bottom: 10px;
}
.X7ColumnTableInline {
}
.X8ColumnTable {
  font-size: 16px;
  padding: 8px;
  margin-left: 99px;
  margin-right: 22px;
  margin-top: 10px;
  margin-bottom: 10px;
}
.X8ColumnTableInline {
}
.Commentary {
  font-size: 16px;
  font-family: Arial;
  font-style: italic;
  line-height: 1.1875;
  padding: 8px;
  margin-left: 36px;
  margin-right: 10px;
  margin-top: 7px;
  margin-bottom: 7px;
  border-left: 2px;
  border-right: 0px;
  border-top: 0px;
  border-bottom: 0px;
  border-style: solid;
  border-color: #0033FF;
}
.CommentaryInline {
  font-family: Arial;
  font-style: italic;
  line-height: 1.25;
}
.ItemizedText {
  font-size: 16px;
  font-family: Arial;
  text-indent: 0px;
  line-height: 1.1875;
  padding: 8px;
  margin-left: 20px;
  margin-right: 4px;
  margin-top: 4px;
  margin-bottom: 0px;
}
.ItemizedTextInline {
  font-family: Arial;
  text-indent: 0px;
  line-height: 1.25;
}
.ItemizedTextNote {
  font-size: 16px;
  font-family: Arial;
  line-height: 1.1875;
  padding: 8px;
  margin-left: 41px;
  margin-right: 4px;
  margin-top: 4px;
  margin-bottom: 0px;
}
.ItemizedTextNoteInline {
  font-family: Arial;
  line-height: 1.25;
}
.IndentedText {
  font-size: 16px;
  font-family: Arial;
  line-height: 1.1875;
  padding: 8px;
  margin-left: 20px;
  margin-right: 4px;
  margin-top: 6px;
  margin-bottom: 0px;
}
.IndentedTextInline {
  font-family: Arial;
  line-height: 1.25;
}
.DefinitionBox {
  font-size: 16px;
  font-weight: normal;
  background-color: #FF9900;
  padding: 8px;
  margin-left: 10px;
  margin-right: 4px;
  margin-top: 8px;
  margin-bottom: 0px;
  border: 1px;
  border-style: solid;
  border-color: #000000;
}
.DefinitionBoxInline {
  font-weight: normal;
  background-color: #FF9900;
}
.DefinitionBox3Col {
  font-size: 16px;
  font-weight: normal;
  background-color: #FF9900;
  padding: 8px;
  margin-left: 10px;
  margin-right: 4px;
  margin-top: 8px;
  margin-bottom: 0px;
  border: 1px;
  border-style: solid;
  border-color: #000000;
}
.DefinitionBox3ColInline {
  font-weight: normal;
  background-color: #FF9900;
}
.DefinitionBox4Col {
  font-size: 16px;
  font-weight: normal;
  background-color: #FF9900;
  padding: 8px;
  margin-left: 10px;
  margin-right: 4px;
  margin-top: 8px;
  margin-bottom: 0px;
  border: 1px;
  border-style: solid;
  border-color: #000000;
}
.DefinitionBox4ColInline {
  font-weight: normal;
  background-color: #FF9900;
}
.DefinitionBox5Col {
  font-size: 16px;
  font-weight: normal;
  background-color: #FF9900;
  padding: 8px;
  margin-left: 10px;
  margin-right: 4px;
  margin-top: 8px;
  margin-bottom: 0px;
  border: 1px;
  border-style: solid;
  border-color: #000000;
}
.DefinitionBox5ColInline {
  font-weight: normal;
  background-color: #FF9900;
}
.DefinitionBox6Col {
  font-size: 16px;
  font-weight: normal;
  background-color: #FF9900;
  padding: 8px;
  margin-left: 10px;
  margin-right: 4px;
  margin-top: 8px;
  margin-bottom: 0px;
  border: 1px;
  border-style: solid;
  border-color: #000000;
}
.DefinitionBox6ColInline {
  font-weight: normal;
  background-color: #FF9900;
}
.TopBox {
  font-size: 16px;
  font-weight: normal;
  background-color: #FF9900;
  padding: 8px;
  margin-left: 11px;
  margin-right: 4px;
  margin-top: 8px;
  margin-bottom: 0px;
  border-left: 1px;
  border-right: 1px;
  border-top: 1px;
  border-bottom: 0px;
  border-style: solid;
  border-color: #000000;
}
.TopBoxInline {
  font-weight: normal;
  background-color: #FF9900;
}
.MiddleBox {
  font-size: 16px;
  font-weight: normal;
  background-color: #FF9900;
  padding: 8px;
  margin-left: 11px;
  margin-right: 4px;
  margin-top: -7px;
  margin-bottom: 0px;
  border-left: 1px;
  border-right: 1px;
  border-top: 0px;
  border-bottom: 0px;
  border-style: solid;
  border-color: #000000;
}
.MiddleBoxInline {
  font-weight: normal;
  background-color: #FF9900;
}
.MiddleSpacedBox {
  font-size: 16px;
  font-weight: normal;
  background-color: #FF9900;
  padding: 8px;
  margin-left: 11px;
  margin-right: 4px;
  margin-top: -7px;
  margin-bottom: 0px;
  border-left: 1px;
  border-right: 1px;
  border-top: 0px;
  border-bottom: 0px;
  border-style: solid;
  border-color: #000000;
}
.MiddleSpacedBoxInline {
  font-weight: normal;
  background-color: #FF9900;
}
.BottomBox {
  font-size: 16px;
  font-weight: normal;
  background-color: #FF9900;
  padding: 8px;
  margin-left: 11px;
  margin-right: 4px;
  margin-top: -7px;
  margin-bottom: 0px;
  border-left: 1px;
  border-right: 1px;
  border-top: 0px;
  border-bottom: 1px;
  border-style: solid;
  border-color: #000000;
}
.BottomBoxInline {
  font-weight: normal;
  background-color: #FF9900;
}
.TopSpanBox {
  font-size: 16px;
  font-weight: normal;
  background-color: #FF9900;
  padding: 8px;
  margin-left: 11px;
  margin-right: 4px;
  margin-top: 8px;
  margin-bottom: -2px;
  border-left: 1px;
  border-right: 1px;
  border-top: 1px;
  border-bottom: 0px;
  border-style: solid;
  border-color: #000000;
}
.TopSpanBoxInline {
  font-weight: normal;
  background-color: #FF9900;
}
.MiddleSpanBox {
  font-size: 16px;
  font-weight: normal;
  background-color: #FF9900;
  padding: 8px;
  margin-left: 11px;
  margin-right: 4px;
  margin-top: -8px;
  margin-bottom: -3px;
  border-left: 1px;
  border-right: 1px;
  border-top: 0px;
  border-bottom: 0px;
  border-style: solid;
  border-color: #000000;
}
.MiddleSpanBoxInline {
  font-weight: normal;
  background-color: #FF9900;
}
.Picture {
  font-size: 16px;
  padding: 8px;
  margin-left: 12px;
  margin-top: 8px;
  margin-bottom: 0px;
}
.PictureInline {
}
.Caption {
  font-size: 7px;
  font-family: Helvetica;
  padding: 8px;
  margin-left: 99px;
  margin-right: 22px;
  margin-top: 10px;
  margin-bottom: 10px;
}
.CaptionInline {
  font-size: 7px;
  font-family: Helvetica;
}
.ContentsTitle {
  font-size: 26px;
  font-family: Arial;
  font-weight: bold;
  padding: 8px;
  margin-left: 10px;
  margin-right: 4px;
  margin-top: 18px;
  margin-bottom: 0px;
}
.ContentsTitleInline {
  font-size: 26px;
  font-family: Arial;
  font-weight: bold;
}
.ContentsSection {
  font-size: 12px;
  font-family: Arial;
  font-weight: bold;
  padding: 8px;
  margin-left: 20px;
  margin-right: 4px;
  margin-top: 18px;
  margin-bottom: 3px;
}
.ContentsSectionInline {
  font-size: 12px;
  font-family: Arial;
  font-weight: bold;
}
.Contents {
  font-size: 16px;
  font-family: Arial;
  padding: 8px;
  margin-left: 21px;
  margin-right: 4px;
  margin-top: 8px;
  margin-bottom: 0px;
}
.ContentsInline {
  font-family: Arial;
}
.Index {
  font-size: 16px;
  text-indent: 0px;
  padding: 8px;
  margin-left: 21px;
  margin-right: 4px;
  margin-top: 0px;
  margin-bottom: 0px;
}
.IndexInline {
  text-indent: 0px;
}
.IndexSubentry {
  font-size: 16px;
  text-indent: 0px;
  padding: 8px;
  margin-left: 36px;
  margin-right: 4px;
  margin-top: 0px;
  margin-bottom: 0px;
}
.IndexSubentryInline {
  text-indent: 0px;
}
.NotationTemplateStyle {
  font-size: 16px;
  background-color: #FFFFD9;
  padding: 8px;
}
.NotationTemplateStyleInline {
  background-color: #FFFFD9;
}
.NotationPatternWrapperStyle {
  font-size: 16px;
  background-color: #FFE6FA;
  padding: 8px;
}
.NotationPatternWrapperStyleInline {
  background-color: #FFE6FA;
}
.NotationMadeBoxesWrapperStyle {
  font-size: 16px;
  background-color: #E6E3FF;
  padding: 8px;
}
.NotationMadeBoxesWrapperStyleInline {
  background-color: #E6E3FF;
}
.Notebook {
  font-size: 16px;
  padding: 8px;
}
.RM {
  font-size: 16px;
  font-style: normal;
  font-weight: normal;
  padding: 8px;
}
.RMInline {
  font-style: normal;
  font-weight: normal;
}
.BF {
  font-size: 16px;
  font-weight: bold;
  padding: 8px;
}
.BFInline {
  font-weight: bold;
}
.IT {
  font-size: 16px;
  font-style: italic;
  padding: 8px;
}
.ITInline {
  font-style: italic;
}
.TR {
  font-size: 16px;
  font-family: Times;
  font-style: normal;
  font-weight: normal;
  padding: 8px;
}
.TRInline {
  font-family: Times;
  font-style: normal;
  font-weight: normal;
}
.TI {
  font-size: 16px;
  font-family: Times;
  font-style: italic;
  font-weight: normal;
  padding: 8px;
}
.TIInline {
  font-family: Times;
  font-style: italic;
  font-weight: normal;
}
.TB {
  font-size: 16px;
  font-family: Times;
  font-style: normal;
  font-weight: bold;
  padding: 8px;
}
.TBInline {
  font-family: Times;
  font-style: normal;
  font-weight: bold;
}
.TBI {
  font-size: 16px;
  font-family: Times;
  font-style: italic;
  font-weight: bold;
  padding: 8px;
}
.TBIInline {
  font-family: Times;
  font-style: italic;
  font-weight: bold;
}
.MR {
  font-size: 16px;
  font-family: Courier;
  font-style: normal;
  font-weight: normal;
  padding: 8px;
}
.MRInline {
  font-family: Courier;
  font-style: normal;
  font-weight: normal;
}
.MO {
  font-size: 16px;
  font-family: Courier;
  font-style: italic;
  font-weight: normal;
  padding: 8px;
}
.MOInline {
  font-family: Courier;
  font-style: italic;
  font-weight: normal;
}
.MB {
  font-size: 16px;
  font-family: Courier;
  font-style: normal;
  font-weight: bold;
  padding: 8px;
}
.MBInline {
  font-family: Courier;
  font-style: normal;
  font-weight: bold;
}
.MBO {
  font-size: 16px;
  font-family: Courier;
  font-style: italic;
  font-weight: bold;
  padding: 8px;
}
.MBOInline {
  font-family: Courier;
  font-style: italic;
  font-weight: bold;
}
.SR {
  font-size: 16px;
  font-family: Helvetica;
  font-style: normal;
  font-weight: normal;
  padding: 8px;
}
.SRInline {
  font-family: Helvetica;
  font-style: normal;
  font-weight: normal;
}
.SO {
  font-size: 16px;
  font-family: Helvetica;
  font-style: italic;
  font-weight: normal;
  padding: 8px;
}
.SOInline {
  font-family: Helvetica;
  font-style: italic;
  font-weight: normal;
}
.SB {
  font-size: 16px;
  font-family: Helvetica;
  font-style: normal;
  font-weight: bold;
  padding: 8px;
}
.SBInline {
  font-family: Helvetica;
  font-style: normal;
  font-weight: bold;
}
.SBO {
  font-size: 16px;
  font-family: Helvetica;
  font-style: italic;
  font-weight: bold;
  padding: 8px;
}
.SBOInline {
  font-family: Helvetica;
  font-style: italic;
  font-weight: bold;
}
.SO10 {
  font-size: 10px;
  font-family: Helvetica;
  font-style: italic;
  font-weight: normal;
  padding: 8px;
}
.SO10Inline {
  font-size: 10px;
  font-family: Helvetica;
  font-style: italic;
  font-weight: normal;
}
.Program {
  font-size: 16px;
  font-family: Courier;
  line-height: 1.3125;
  padding: 8px;
  margin-left: 24px;
  margin-right: 10px;
  margin-top: 10px;
  margin-bottom: 10px;
  border-left: 0px;
  border-right: 0px;
  border-top: 1px;
  border-bottom: 1px;
  border-style: solid;
  border-color: #000000;
}
.ProgramInline {
  font-size: 16px;
  font-family: Courier;
  line-height: 1.3125;
}
.Outline1 {
  font-size: 18px;
  font-weight: bold;
  text-indent: 0px;
  padding: 8px;
  margin-left: 12px;
  margin-right: 10px;
  margin-top: 7px;
  margin-bottom: 7px;
}
.Outline1Inline {
  font-size: 18px;
  font-weight: bold;
  text-indent: 0px;
}
.Outline2 {
  font-size: 15px;
  font-weight: bold;
  text-indent: 0px;
  padding: 8px;
  margin-left: 59px;
  margin-right: 10px;
  margin-top: 7px;
  margin-bottom: 7px;
}
.Outline2Inline {
  font-size: 15px;
  font-weight: bold;
  text-indent: 0px;
}
.Outline3 {
  font-size: 12px;
  text-indent: 0px;
  padding: 8px;
  margin-left: 108px;
  margin-right: 10px;
  margin-top: 7px;
  margin-bottom: 7px;
}
.Outline3Inline {
  font-size: 12px;
  text-indent: 0px;
}
.Outline4 {
  font-size: 10px;
  text-indent: 0px;
  padding: 8px;
  margin-left: 158px;
  margin-right: 10px;
  margin-top: 7px;
  margin-bottom: 7px;
}
.Outline4Inline {
  font-size: 10px;
  text-indent: 0px;
}
.script {font-family: Mathematica5, cursive}
.gothic {font-family: Mathematica6, Century Gothic}
.doublestruck {font-family: Mathematica7}