1/** 2* This file provide specific styles for some plugin (childpages, translation, 3* wrap, etc.). 4**/ 5 6/*____________ Translation ____________*/ 7/* some stuff on mobile.less too */ 8 9.plugin_translation { 10 /*display: inline;*/ 11} 12.dokuwiki div.plugin_translation { 13 margin: 0 ; 14 float: none; 15 text-align: inherit; 16 /*margin-bottom: 1em; 17 display:flex; 18 flex-direction: column;*/ 19} 20 21.dokuwiki div.plugin_translation ul li a.wikilink1:link, .dokuwiki div.plugin_translation ul li a.wikilink1:hover, .dokuwiki div.plugin_translation ul li a.wikilink1:active, .dokuwiki div.plugin_translation ul li a.wikilink1:visited { 22 background-color: inherit; 23 color: @ini_link; 24 text-decoration: underline dotted; 25} 26 27.dokuwiki div.plugin_translation ul li a.wikilink2:link, .dokuwiki div.plugin_translation ul li a.wikilink2:hover, .dokuwiki div.plugin_translation ul li a.wikilink2:active, .dokuwiki div.plugin_translation ul li a.wikilink2:visited { 28 text-decoration: none; 29 border-bottom: 1px dashed !important; 30 color: @ini_link2; 31 background-color: inherit; 32} 33 34.dokuwiki div.plugin_translation select.wikilink1, .dokuwiki div.plugin_translation option.wikilink1 { 35 color: @ini_link; 36} 37.dokuwiki div.plugin_translation select, .dokuwiki div.plugin_translation input { 38 background-color: @ini_neutral4; 39} 40 41.kh_translate { 42 display: flex; 43 align-items: center; 44 height:1em; 45 margin-bottom: 0.5em; 46} 47 48/*____________ Config manager ____________*/ 49#config__manager fieldset { 50 background-color: @ini_background; 51} 52 53/*____________ Pagelist ____________*/ 54 55div.dokuwiki th.page, 56div.dokuwiki th.date, 57div.dokuwiki th.user, 58div.dokuwiki th.desc, 59div.dokuwiki th.comments, 60div.dokuwiki th.linkbacks, 61div.dokuwiki th.tags, 62div.dokuwiki th.diff, 63div.dokuwiki td.date, 64div.dokuwiki td.user, 65div.dokuwiki td.desc, 66div.dokuwiki td.comments, 67div.dokuwiki td.linkbacks, 68div.dokuwiki td.tags, 69div.dokuwiki td.diff { 70 font-size: 95% !important ; 71} 72 73/*____________ Wrap ____________*/ 74/* some stuff on mobile.less too */ 75/* basic box */ 76.dokuwiki .wrap_box { 77 background: #d1c7ff !important; 78} 79/* Never round box... But Outset ! */ 80.dokuwiki div.wrap_round { 81 border-radius: inherit !important; 82 border: outset #d1c7ff; 83} 84 85/*____________ Blog ____________*/ 86/* Don't underline when it's a title... */ 87.plugin_include_content h1 a, .plugin_include_content h2 a, .plugin_include_content h3 a, .plugin_include_content h4 a { 88 text-decoration: inherit; 89} 90