Subversion Repositories wimsdev

Rev

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

  1. /* classes pour menu*/
  2. .ui-menu {font-size: 80%;}
  3. /*hotfix for jquery-ui 1.12.0 when there is no "div" inside .ui-menu-item*/
  4. .ui-menu-item>a{
  5.   display: block;
  6. }
  7. /* classes pour latex2wims : latex2wims , latex2wimsl, latex2wimsr, latex2wimslr
  8. according no toc, toc left, right, two sides */
  9. .doc_latex2wims .wimsdoc,
  10. .doc_latex2wimsl .wimsdoc,
  11. .doc_latex2wimsr .wimsdoc,
  12. .doc_latex2wimslr .wimsdoc{
  13.   display: block;
  14.   /*margin-left: 0;
  15.   margin-right: 0;*/
  16.   padding-top: 0;
  17.   padding-right: 1em;
  18.   padding-bottom: 0;
  19.   padding-left: 1em;
  20.  
  21.   /*border: solid #FC9;
  22.   border-width: 1px;
  23.   border-color: gray;
  24.   min-height: 300px;*/
  25.   line-height: 1.1;
  26.   overflow: auto;
  27. }
  28. .doc_latex2wimsl .left_toc,.doc_latex2wimslr .right_toc,
  29. .doc_latex2wimslr .left_toc,.doc_latex2wimsr .right_toc {
  30.   display: inline-block;
  31.   vertical-align: top;
  32.   padding: 0;
  33.   padding-top: 0;
  34. }
  35.  
  36. #docprint .doc_latex2wimsl  .left_toc,
  37. #docprint .doc_latex2wimsr  .right_toc,
  38. #docprint .doc_latex2wimslr .left_toc,
  39. #docprint .doc_latex2wimslr .right_toc
  40. {visibility: hidden; display: none;}
  41.  
  42. /* Pour mettre en relief l'endroit du menu */
  43. .left_selection,.right_selection {
  44.   padding: 0;
  45.   border: solid;
  46.   border-width: thin;
  47.   border-color: var(--wims_ref_bgcolor);
  48.   background-color: var(--wims_ref_bgcolor);
  49. }
  50. .left_selection>a,.right_selection>a {
  51.   color: var(--wims_ref_menucolor);
  52. }
  53. .no_selected {
  54.   padding: 0;
  55.   border: solid;
  56.   border-width: 1px 0 0 0;
  57.   border-color: var(--wims_ref_bgcolor);
  58. }
  59. /*Pour les menus lateraux, la gestion des liens*/
  60. /*.left_toc a,.right_toc a {}*/
  61. /* the h3 are for compatibility */
  62. h3.wims_docu_titleb, h2.wims_docu_titleb{text-align: center;}
  63.  
  64. /* menu en haut ou en bas*/
  65. .wims_chemin {
  66. /*Pour mettre en relief l'endroit des menus*/
  67.   color: #A52A2A;
  68.   margin: .3em;
  69.   padding:.7em;
  70.   border-width: thin;
  71.   font-size: 80%;
  72.   text-align: center;
  73. }
  74. .l2w_content{
  75.   /* prevents toc with float from overleaping divs */
  76.   overflow: auto;
  77. }
  78.  
  79. h2.l2w_content, h3.l2w_content {
  80.   font-size: 100%;
  81.   margin-bottom: 0;
  82.   padding: 3px;
  83. }
  84. div.l2w_content {
  85.   background-color: #fafafa;
  86.   padding: .3em;
  87.   margin-left: .5em;
  88.   border: solid;
  89.   border-width: thin;
  90.   border-color: var(--wims_ref_bgcolor);
  91. }
  92. span.l2w_content {
  93.   font-family: sans-serif;
  94.   font-weight: bold;
  95.   text-transform: none
  96. }
  97.  
  98. /* divers */
  99. .emph {
  100.   font-weight: bold;
  101.   font-family: sans-serif;
  102.   color: var(--wims_ref_bgcolor);
  103. }
  104. .guill {
  105.   font-weight: bold;
  106.   font-family: sans-serif;
  107.   color: #aeaeae;
  108. }
  109. div.math {
  110.   padding: .5em;
  111.   margin: 0 5%;
  112.   text-align: center;
  113. }
  114. h2.exercice, h2.exemple, h3.exercice, h3.exemple {
  115.   background-color: var(--wims_ref_bgcolor);
  116.   color: var(--wims_ref_menucolor);
  117. }
  118. span.exemple { color: #003; }
  119. span.exercice { color: #006; }
  120. h2.defn, h3.defn{
  121.   background-color: var(--wims_ref_bgcolor);
  122.   color: var(--wims_ref_menucolor);
  123. }
  124. span.defn { color: #663; }
  125. h2.thm, h3.thm{
  126.   background-color: var(--wims_ref_bgcolor);
  127.   color: var(--wims_ref_menucolor);
  128. }
  129. span.thm, span.rem { color: #930; }
  130.  
  131. /* demonstration */
  132. h2.dem, h3.dem {
  133.   background-color: var(--wims_ref_bgcolor);
  134.   color: var(--wims_ref_menucolor);
  135.   font-size: 100%;
  136.   padding-left: 1em;
  137.   padding-right: .3em;
  138. }
  139. div.dem {
  140.   background-color: white;
  141.   padding: .3em;
  142.   margin-left:.5em;
  143.   border-left:solid;
  144.   border-width: thin;
  145.   border-color: var(--wims_ref_bgcolor);
  146.   color: black;
  147. }
  148. span.dem {
  149.   color: #006;
  150.   font-family: sans-serif;
  151.   font-weight: bold;
  152. }
  153. div.dem::after{
  154.     /*background-color:lightgrey;*/
  155.     border: solid;
  156.     border-width: .2em;
  157.     border-color: black;
  158.     content: '';
  159.     width: 10px;
  160.     height: 10px;
  161.     display: block;
  162.     float: right;
  163.     margin-bottom: 15px;
  164. }
  165. .fin {visibility:hidden; display:none}
  166. h2.quote, h3.quote{
  167.  background-color: #0F0;
  168.  font-size: 100%;
  169.  padding-left: .3em;
  170.  padding-right: .3em;
  171. }
  172. div.quote {
  173.   padding: .5em;
  174.   margin: 0 7% 0 .5em;
  175.   background-color:white;
  176. }
  177. span.quote { color: blue; }
  178. h2.rem, h3.rem {
  179.   background-color: var(--wims_ref_bgcolor);
  180.   color: var(--wims_ref_menucolor);
  181.   font-size: 100%;
  182.   padding-left: .3em;
  183.   padding-right: .3em;
  184. }
  185. div.rem {
  186.   background-color: white;
  187.   padding: .5em;
  188.   margin-left: 0.5em;
  189.   border:solid;
  190.   border-width: thin;
  191.   border-color: var(--wims_ref_bgcolor);
  192.   color: black;
  193. }
  194. .footnote {
  195.   background-color: lightgrey;
  196.   font-size:smaller;
  197. }
  198. span.footnote {font-style:italic}
  199. div.footnote {
  200.   padding: .5em;
  201.   margin: 0 3em;
  202.   border:solid;
  203.   border-width: thin;
  204.   border-color: var(--wims_ref_bgcolor);
  205. }
  206.  
  207. /* les listes */
  208. ol li, ol.enumerate li { list-style: decimal;}
  209. ol ol li {list-style: lower-alpha;}
  210. ol ol ol li {list-style: lower-roman;}
  211. ol ol ol ol li {list-style: upper-alpha;}
  212. ol.itemize li , ul.itemize li {list-style: disc;}
  213. ol.trivlist li , ol.description li {list-style: none;}
  214. span.description_item {font-weight: bold;}
  215. div.desc_item {
  216.   background-color: white;
  217.   padding: .5em;
  218.   margin: 0 5%;
  219.   border: solid;
  220.   border-width: thin;
  221.   border-color: var(--wims_ref_bgcolor);
  222.   padding-right: .3em;
  223. }
  224. /*Pour les algorithmes*/
  225. h2.algorithm, h3.algorithm {
  226.   background-color: var(--wims_ref_bgcolor);
  227.   color: var(--wims_ref_menucolor);
  228.   font-size: 100%;
  229.   padding-left: .3em;
  230.   padding-right: .3em;
  231. }
  232. div.algorithm {
  233.   background-color:#FFFFCC;
  234.   padding: 2%;
  235.   margin: 0 5%;
  236.   border: solid;
  237.   padding-right: .3em;
  238.   border-color: var(--wims_ref_bgcolor);
  239. }
  240. h4.algo_titre {
  241.  background-color: #CF0;
  242.  padding: 1em;
  243.  margin: 0 1em;
  244.  font-size: 100%;
  245.  color: black;
  246.  margin-left: 0;
  247.  text-align: center;
  248. }
  249. table.tabular {
  250.   background-color: white;
  251.   margin-left: auto;
  252.   margin-right: auto;
  253.   border-collapse: collapse;
  254. }
  255. .tabular_cell {
  256.   background-color: white;
  257.   padding: .6em;
  258.   border: solid;
  259.   border-width: 1px;
  260.   text-align:center;
  261. }
  262. .pre {
  263.   background-color: #FFC;
  264.   padding-left: .6em;
  265.   padding-right: .6em;
  266.   padding-top: 1em;
  267.   padding-bottom: 1em;
  268.   border-color: var(--wims_ref_bgcolor);
  269.   border: solid;
  270.   border-width: thin;
  271.   font-weight: bold;
  272. }
  273. div.code {
  274.   background-color: #ff9;
  275.   padding: .3em;
  276.   margin-left: 10%;
  277.   margin-right: 10%;
  278.   border-width: thin;
  279.   color: black;
  280. }
  281. /* section */
  282. span.subsubsection {
  283.   color: #A52A2A;
  284.   text-transform: none;
  285.   background-color: #FFC;
  286. }
  287. /* list allexercise */
  288. div.lw_allexo > itemize li{list-style:none;}
  289. /* When toc is included in wimsdoc */
  290. .wimsdoc>.left_toc{
  291.   margin: 0 1em 1em -1em;
  292. }
  293. .wimsdoc>.right_toc{
  294.   float: left;
  295.   margin: 0 1em 1em -1em;
  296. }
  297. #docprint .right_toc,
  298. #docprint .left_toc
  299.  {visibility:hidden; display:none;}
  300.  
  301. /* Small screens */
  302. @media only screen and (max-width: 40em) {
  303.   .ui-menu{
  304.     max-width: none;
  305.     width: 98%;
  306.   }
  307.   ul.ui-menu.ui-widget.ui-widget-content.ui-front{
  308.     border-color: var(--wims_ref_bgcolor);
  309.     left: 0!important;
  310.     max-width: 80%;
  311.   }
  312.   .wimsdoc{
  313.     margin-right: .5em;
  314.   }
  315. }
  316.  
  317. #left_toc, #right_toc, .wimsdoc{
  318.   /* includes borders when calculating width */
  319.   box-sizing: border-box;
  320. }
  321.  
  322. /* Small screens */
  323. @media only screen and (max-width: 40em){
  324.   .wimsdoc {width: 100%;}
  325. }
  326.  
  327. /* Medium screens */
  328. @media only screen and (min-width: 40.063em) and (max-width: 64em){
  329.   .ui-menu{
  330.     max-width: none;
  331.   }
  332.   .doc_latex2wimslr>#right_toc{
  333.     float: left;
  334.   }
  335.  /* #left_toc,#right_toc{ width:25%;}
  336.    .wimsdoc { width:75%;} */
  337. }
  338.  
  339. /* Medium & large screens */
  340. @media only screen and (min-width: 40.063em) {
  341.   #left_toc{
  342.     float: left;
  343.   }
  344.   /* larger submenus */
  345.   #left_toc ul{
  346.     width: 100%;
  347.   }
  348. }
  349.  
  350. /* Large screens */
  351. @media only screen and (min-width: 64.063em) {
  352.   /* 3 columns */
  353.   .doc_latex2wimslr #left_toc, .doc_latex2wimslr #right_toc{width: 15%;}
  354.   /*.doc_latex2wimslr .wimsdoc {width:70%;}*/
  355.   /*.doc_latex2wimsl .wimsdoc {width:75%;}*/
  356.   #right_toc{
  357.     float: right;
  358.   }
  359. }
  360.