Subversion Repositories wimsdev

Rev

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