Subversion Repositories wimsdev

Rev

Rev 7075 | Rev 8455 | Go to most recent revision | Blame | Compare with Previous | Last modification | View Log | RSS feed

  1.  
  2. /* classes pour menu*/
  3. .ui-menu {width: 100px; font-size: 80%;}
  4.  
  5. /* classes pour latex2wims : latex2wims , latex2wimsl, latex2wimsr, latex2wimslr
  6. selon qu'il y n'a pas de toc, un toc à gauche, à droite, des deux côtés*/
  7.  
  8. .doc_latex2wims .wimsdoc,
  9. .doc_latex2wimsl .wimsdoc,
  10. .doc_latex2wimsr .wimsdoc,
  11. .doc_latex2wimslr .wimsdoc{
  12.    display:inline-block;
  13.    text-align:justify;
  14.    margin-left: 0;
  15.    margin-right: 0;
  16.    padding-left: 1em;
  17.    padding-right: 1em;
  18.    padding-top: 1em;
  19.    padding-bottom: 0;
  20.    border: solid #FC9;
  21.    border-width: 1px;
  22.    border-color: gray;
  23.    /*  min-height: 300px;*/
  24.    line-height: 1.1;
  25.    overflow: auto;
  26. }
  27. .doc_latex2wims .wimsdoc {width:100%}
  28. .doc_latex2wimsl .wimsdoc,.doc_latex2wimsr .wimsdoc{ width:80%;}
  29. .doc_latex2wimslr .wimsdoc {width:71%;}
  30.  
  31. .doc_latex2wimsl .left_toc,.doc_latex2wimslr .right_toc,
  32. .doc_latex2wimslr .left_toc,.doc_latex2wimsr .right_toc {
  33.   display: inline-block;
  34.   min-width:10em;
  35.   vertical-align:top;
  36.   padding: .5em;
  37.   padding-top: 3em;
  38. }
  39.  
  40. .left_toc  {float:left;  left: auto;}
  41. .right_toc {float:right; right:auto;}
  42.  
  43. #docprint .doc_latex2wimsl  .left_toc,
  44. #docprint .doc_latex2wimsr  .right_toc,
  45. #docprint .doc_latex2wimslr .left_toc,
  46. #docprint .doc_latex2wimslr .right_toc
  47. {visibility:hidden; display:none;}
  48.  
  49. /*Pour mettre en relief l'endroit où on est dans les menus*/
  50. .left_selection,.right_selection {
  51.   padding:.4em;
  52.   border: solid;
  53.   border-width: thin;
  54.   border-color:#000;
  55.   background-color:#FC9;
  56. }
  57. .no_selected {
  58.   padding:.4em;
  59.   border: solid;
  60.   border-width: 1px 0 0 0;
  61.   border-color:#000;
  62. }
  63.  
  64. /*Pour les menus latéraux, la gestion des liens*/
  65. /*.left_toc a,.right_toc a {}*/
  66.  
  67.  h3.wims_docu_titleb { text-align:center;}
  68.  
  69. /*h1.wims_docu_title { background-color:#FFCC99;}*/
  70.  
  71. /* menu en haut ou en bas*/
  72. .wims_chemin {
  73. /*Pour mettre en relief l'endroit où on est dans les menus*/
  74.    color: #A52A2A;
  75.    margin: .3em;
  76.    padding:.7em;
  77.    border-width: thin;
  78.    font-size: 80% ;
  79.    text-align: center;
  80. }
  81.  
  82. h2.l2w_content {
  83.  font-size: 100%;
  84.  margin-bottom:0;
  85.  padding:3px;
  86. }
  87.  
  88. div.l2w_content {
  89.   background-color: #fafafa;
  90.   padding: .3em;
  91.   margin: 0 .5em;
  92.   border:solid;
  93.   border-width: thin;
  94.   border-color:#FCF;
  95. }
  96.  
  97. span.l2w_content {
  98.   font-family: sans-serif;
  99.   font-weight: bold;
  100.   text-transform: none
  101. }
  102.  
  103. /* divers */
  104. .emph {
  105.   font-weight: bold;
  106.   font-family: sans-serif;
  107.   color: #f60;
  108. }
  109. .guill {
  110.   font-weight: bold;
  111.   font-family: sans-serif;
  112.   color: #aeaeae;
  113. }
  114. div.math {
  115.   padding: .5em;
  116.   margin: 0 5%;
  117.   text-align: center;
  118. }
  119.  
  120. h2.exercice, h2.exemple {background-color: #CFC;}
  121. span.exemple {color: #003; }
  122. span.exercice { color: #006; }
  123.  
  124. h2.defn { background-color: #CCF}
  125. span.defn { color: #663; }
  126.  
  127. h2.thm { background-color: #FCF; }
  128. span.thm, span.rem { color: #930;}
  129.  
  130. h2.dem {
  131.  background-color:#FFC;
  132.  font-size: 100%;
  133.  padding-left: 1em;
  134.  padding-right: .3em;
  135.  }
  136. div.dem {
  137.   background-color: white;
  138.   padding: .3em;
  139.   margin-left: 10%;
  140.   border-left:solid;
  141.   border-width: thin;
  142.   border-color:#FCF;
  143.   color: black;
  144. }
  145.  
  146. span.dem {
  147.   color: #006;
  148.   font-family: sans-serif;
  149.   font-weight: bold;    }
  150.  
  151. .fin { background-color: #FFC;
  152.    font-size: 90%;
  153.    color: navy ;
  154.    padding-left: .3em;
  155.    text-align: right ;
  156.    margin-right: 10%;
  157. }
  158.  
  159. h2.quote {
  160.  background-color: #0F0;
  161.  font-size: 100%;
  162.  padding-left: .3em;
  163.  padding-right: .3em;
  164.  }
  165.  
  166. div.quote {
  167.   padding: 0.5em;
  168.   margin: 0 7% 0 .5em;
  169.   background-color:white;
  170. }
  171.  
  172. span.quote { color:blue;}
  173.  
  174. h2.rem {
  175.  background-color: #F90;
  176.  font-size: 100%;
  177.  padding-left: .3em;
  178.  padding-right: .3em;
  179.  }
  180.  
  181. div.rem {
  182.   background-color: white;
  183.   padding: .5em;
  184.   margin: 0 5%;
  185.   border:solid;
  186.   border-width: thin;
  187.   border-color:#FCF;
  188.   color: black;
  189. }
  190.  
  191. .footnote {
  192.   background-color: lightgrey;
  193.   font-size:smaller;
  194. }
  195. span.footnote {font-style:italic}
  196. div.footnote {
  197.   padding: .5em;
  198.   margin: 0 3em;
  199.   border:solid;
  200.   border-width: thin;
  201.   border-color:#FCF;
  202. }
  203.  
  204. /* les listes*/
  205. ol li, ol.enumerate li { list-style:decimal ;}
  206. ol ol li {list-style: lower-alpha ;}
  207. ol ol ol li {list-style:lower-roman;}
  208. ol ol ol ol li {list-style: upper-alpha;}
  209. ol.itemize li , ul.itemize li {list-style:disc ;}
  210. ol.trivlist li , ol.description li {list-style:none ;}
  211. span.description_item {font-weight:bold;}
  212.  
  213. div.desc_item {
  214.   background-color: white;
  215.   padding: .5em;
  216.   margin: 0 5%;
  217.   border: solid;
  218.   border-width: thin;
  219.   border-color:#FCF;
  220.   padding-right: .3em;
  221. }
  222.  
  223.  /*Pour les algorithmes*/
  224.  
  225. h2.algorithm {
  226.  background-color: #FF3333;
  227.  font-size: 100%;
  228.  padding-left: .3em;
  229.  padding-right: .3em;
  230.  }
  231.  
  232. div.algorithm {
  233.   background-color:#FFFFCC;
  234.   padding: 2%;
  235.   margin: 0 5%;
  236.   border: solid;
  237.   padding-right: 0.3em;
  238.   border-color: #D9D2C0;}
  239. h4.algo_titre {
  240.  background-color: #CF0;
  241.  padding: 1em;
  242.  margin: 0 1em;
  243.  font-size: 100%;
  244.  color: black;
  245.  margin-left: 0;
  246.  text-align: center;
  247. }
  248.  
  249. table.tabular {background-color:white;
  250.   margin-left:auto;
  251.   margin-right:auto;
  252.   border-collapse:collapse;}
  253.  
  254. .tabular_cell {
  255.   background-color:white;
  256.   padding: 0.6em;
  257.   border:solid;
  258.   border-width: 1px;
  259.   text-align:center;
  260. }
  261.  
  262. .pre {background-color: #FFC;
  263.   padding-left: .6em;
  264.   padding-right: .6em;
  265.   padding-top: 1em;
  266.   padding-bottom: 1em;
  267.   border-color: #D9D2C0;
  268.   border: solid;
  269.   border-width: thin;
  270.   font-weight:bold;
  271. }
  272. div.code {
  273.   background-color : #ff9;
  274.   padding : .3em;
  275.   margin-left: 10%;
  276.   margin-right: 10%;
  277.   border-width : thin;
  278.   color : black;
  279. }
  280.  
  281.  /*section*/
  282. span.subsubsection {
  283.      color: #A52A2A;
  284.      text-transform: none;
  285.      background-color: #FFC;
  286. }
  287.