Subversion Repositories wimsdev

Rev

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

  1. /* Utilities.css */
  2.  
  3. .center, .wimscenter{text-align:center;}
  4. /* to check ! */
  5.  
  6. div.wimscenter{ margin:1.5rem .5rem .2rem .5rem; }
  7.  
  8. .blockcenter{
  9.   margin-right:auto;
  10.   margin-left: auto;
  11. }
  12.  
  13. .white{background-color: white;}
  14.  
  15. .float_right{ float:right;}
  16. .float_left{ float:left;}
  17.  
  18. .smaller { font-size: 70%;}
  19. .small { font-size: 90%;}
  20. .bold { font-weight:bold;}
  21.  
  22. .nowrap {
  23.   white-space:nowrap;
  24. }
  25. textarea.nowrap {
  26.   white-space:pre;
  27.   overflow: auto;
  28.   word-wrap: normal;
  29. }
  30. .wims_emph {font-style:italic ; color:#2A67FF;font-weight:bold;}
  31. .clearall{clear: both;}
  32. .inline {display:inline;display:inline-block;}
  33. ul.inline, ol.inline{padding-left:0;}
  34. .inline>li{display:inline-block;}
  35.  
  36. /* use .spacer on <br/> or <div> to add extra spaces */
  37. .spacer{
  38.   content: " ";
  39.   display: block;
  40.   margin: .6em;
  41. }
  42.  
  43. /* default for audio */
  44. audio.wims_audio {
  45.   width:150px;
  46.   margin:10px 0;
  47.   padding:5px;
  48. }
  49.  
  50. /* default for jsxgraph */
  51. .jxgbox {margin-left:auto;margin-right:auto;}
  52. .jsxgraph_button {text-align:center;}
  53. .jxgboxchild {margin-left:auto;margin-right:auto;}
  54.  
  55. /* technical info */
  56. .wimstech {font-family: monospace, "Courier New";font-size:small}
  57.  
  58. /* remark in small */
  59. .wims_smallremark {font-size: small;}
  60.  
  61. /* use <br class="spacer" /> instead*/
  62. .emptyline { height:20px;}
  63. .empty { width:5%;}
  64.  
  65. /* citation de contributeurs, de l'auteur*/
  66. .wims_contribute, .wims_credits  {
  67.   padding-top: 10px;
  68.   padding-right:20px;
  69.   text-align:right;
  70.   color:#555;
  71.   font-weight:bold;
  72.   font-size:.8em;
  73. }
  74.  
  75. /* image centre */
  76. img.wimscenter { margin-left:auto;margin-right:auto;}
  77.  
  78. /* permalink */
  79. /*#export_media .about {
  80.   margin-top: 0;
  81.   background-repeat: no-repeat;
  82.   background-position: 0 50%;
  83.   padding-left: 28px;
  84.   line-height: 28px;
  85.   text-align: left;
  86. }
  87. #export_media{
  88.   border: 1px solid #999;
  89.   padding: 5px;
  90. }*/
  91. .wims_debug_mode{
  92.   margin:auto;
  93.   width:50%;
  94.   font-size:small;
  95.   font-family: monospace;
  96.   border:1px solid #DFDFDF;
  97.   padding:0 .5em 0;
  98. }
  99.  
  100. /* Technical instructions in exercises for example*/
  101. .wims_instruction {
  102.    font-style: italic;font-size:small;
  103.    margin: 1.5rem .5rem .2rem .5rem;
  104.    color: rgb(100,100,100);
  105.    background-color: rgba(230,230,230,.3);
  106.    border: 1px solid silver;
  107.    padding: 0 5px 1em;
  108. }
  109.  
  110. .wims_instruction>h2{
  111.   display: inline-block;
  112.   padding: .4rem;
  113.   font-size: .8em;
  114.   margin : -.3rem .5em .3em 0;
  115.   background-color: silver;
  116.   color: rgb(80,80,80);
  117. }
  118.  
  119. /* alert message from teacher to a choosen student */
  120. .wims_alertchat {
  121.   background-color: #a0d3e8;
  122.   /*border : 1px solid #74bfdd;*/
  123.   border-radius: 5px;
  124.   padding: 0 .5em;
  125.   font-size: .9em;
  126.   transition: opacity 300ms ease-out;
  127. }
  128. div.wims_alertchat {
  129.   margin:.5em auto;
  130.   width:50%;
  131. }
  132.  
  133. .wims_alertchat .float_right{
  134.   margin-top:.5em;
  135. }
  136.  
  137. /* ## Layout Classes ## */
  138.  
  139. /* fullwidth : Takes maximum width available */
  140. .fullwidth{
  141.     /*box-sizing: border-box;*/
  142.     min-width:95%;
  143.     clear: both;
  144. }
  145.  
  146. /* fullwidth : Takes half size */
  147. .halfwidth{
  148.     width:50%;
  149.     box-sizing: border-box;
  150.     /*float: left;*/
  151.     vertical-align: top;
  152. }
  153.  
  154. /*
  155. Flexbox : a way to uniformize multiple box automatically
  156. See more at http://css-tricks.com/snippets/css/a-guide-to-flexbox/
  157. */
  158. .flex_box{
  159.     display: flex;
  160.     flex-flow: row wrap;
  161.     justify-content: space-around;
  162.     list-style:none;
  163.     margin:auto;
  164.     padding: 2px;
  165. }
  166.  
  167. .flex_box>li{
  168.     display:inline-block;
  169.     margin:2px 0;
  170. }
  171.  
  172. /* Reset a jquery UI default */
  173. .main_body .ui-widget{
  174.   font-size: inherit;
  175. }
  176.  
  177. .ui-tabs{
  178.   margin-bottom:.5em;
  179. }
  180.  
  181. .main_body .ui-tabs .ui-tabs-panel{
  182.   padding:.5em;
  183. }
  184.