/* Title:*/
.Title {
  font-size: 24px;
  font-family: Trebuchet MS;
  font-style: normal;
  font-weight: bold;
  text-decoration: underline;
  padding: 8px;
}
.TitleInline {
  font-size: 24px;
  font-family: Trebuchet MS;
  font-style: normal;
  font-weight: bold;
  text-decoration: underline;
}
/* Subtitle:*/
.Subtitle {
  font-size: 24px;
  font-family: Trebuchet MS;
  font-style: normal;
  font-weight: normal;
  color: #800000;
  padding: 8px;
  margin-left: 27px;
  margin-top: 2px;
  margin-bottom: 8px;
}
.SubtitleInline {
  font-size: 24px;
  font-family: Trebuchet MS;
  font-style: normal;
  font-weight: normal;
  color: #800000;
}
/* Subsubtitle:*/
.Subsubtitle {
  font-size: 16px;
  font-family: Trebuchet MS;
  font-style: normal;
  font-weight: normal;
  color: #008080;
  padding: 8px;
}
.SubsubtitleInline {
  font-size: 16px;
  font-family: Trebuchet MS;
  font-style: normal;
  font-weight: normal;
  color: #008080;
}
/* Section:*/
.Section {
  font-size: 16px;
  font-family: Apple Garamond Book;
  font-style: normal;
  font-weight: bold;
  padding: 8px;
  margin-left: 27px;
  margin-top: 12px;
  margin-bottom: 8px;
}
.SectionInline {
  font-size: 16px;
  font-family: Apple Garamond Book;
  font-style: normal;
  font-weight: bold;
}
/* Subsection:*/
.Subsection {
  font-size: 16px;
  font-family: Apple Garamond Book;
  font-style: normal;
  font-weight: normal;
  padding: 8px;
  margin-left: 39px;
  margin-top: 12px;
  margin-bottom: 8px;
}
.SubsectionInline {
  font-size: 16px;
  font-family: Apple Garamond Book;
  font-style: normal;
  font-weight: normal;
}
/* Subsubsection:*/
.Subsubsection {
  font-size: 14px;
  font-family: Apple Garamond Book;
  font-style: normal;
  font-weight: normal;
  padding: 8px;
  margin-left: 39px;
  margin-top: 10px;
  margin-bottom: 2px;
}
.SubsubsectionInline {
  font-size: 14px;
  font-family: Apple Garamond Book;
  font-style: normal;
  font-weight: normal;
}
/* Text:*/
.Text {
  font-size: 14px;
  font-family: Apple Garamond Book;
  padding: 8px;
  margin-left: 30px;
  margin-right: 10px;
  margin-top: 7px;
  margin-bottom: 7px;
}
.TextInline {
  font-size: 14px;
  font-family: Apple Garamond Book;
}
/* Program:*/
.Program {
  font-family: Apple Garamond Book;
  color: #000080;
  padding: 8px;
  margin-left: 60px;
}
.ProgramInline {
  font-family: Apple Garamond Book;
  color: #000080;
}
/* Item:*/
.Item {
  font-size: 14px;
  font-family: Apple Garamond Book;
  padding: 8px;
  margin-left: 39px;
  margin-right: 10px;
  margin-top: 7px;
  margin-bottom: 7px;
}
.ItemInline {
  font-size: 14px;
  font-family: Apple Garamond Book;
}
/* Subitem:*/
.Subitem {
  font-family: Apple Garamond Book;
  padding: 8px;
  margin-left: 60px;
  margin-right: 12px;
  margin-top: 2px;
  margin-bottom: 1px;
}
.SubitemInline {
  font-family: Apple Garamond Book;
}
/* remarque:*/
.remarque {
  font-size: 12px;
  font-family: Apple Garamond Book;
  color: #800000;
  padding: 8px;
  margin-left: 60px;
  margin-right: 10px;
  margin-top: 7px;
  margin-bottom: 7px;
}
.remarqueInline {
  font-size: 12px;
  font-family: Apple Garamond Book;
  color: #800000;
}
/* cadre:*/
.cadre {
  font-size: 12px;
  font-family: Apple Garamond Book;
  background-color: #F7FCFF;
  padding: 8px;
  margin-left: 60px;
  margin-right: 10px;
  margin-top: 7px;
  margin-bottom: 7px;
  border: 1px;
  border-style: solid;
  border-color: #000000;
}
.cadreInline {
  font-size: 12px;
  font-family: Apple Garamond Book;
  background-color: #F7FCFF;
}
/* definition:*/
.definition {
  font-size: 14px;
  font-family: Apple Garamond Book;
  background-color: #F8F8FF;
  padding: 8px;
  margin-left: 24px;
  border: 1px;
  border-style: solid;
  border-color: #000000;
}
.definitionInline {
  font-size: 14px;
  font-family: Apple Garamond Book;
  background-color: #F8F8FF;
}
/* demonstration:*/
.demonstration {
  font-size: 14px;
  font-family: Apple Garamond Book;
  color: #0000FF;
  background-color: #FFFFF9;
  padding: 8px;
  margin-left: 33px;
  border: 1px;
  border-style: solid;
  border-color: #000000;
}
.demonstrationInline {
  font-size: 14px;
  font-family: Apple Garamond Book;
  color: #0000FF;
  background-color: #FFFFF9;
}
/* Output:*/
.Output {
  font-size: 12px;
  font-family: Apple Garamond Book;
  padding: 8px;
  margin-left: 39px;
  margin-right: 10px;
  margin-top: 5px;
  margin-bottom: 10px;
}
.OutputInline {
  font-size: 12px;
  font-family: Apple Garamond Book;
}

@media screen{
}

@media print{
}

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