themes/oxygen/css/mint.css
changeset 60 71b50f8c8f85
parent 0 902822492a68
child 91 8079b0288e8e
equal deleted inserted replaced
59:7c4a851fb5c5 60:71b50f8c8f85
    88 div.menu, div.menu_nojs {
    88 div.menu, div.menu_nojs {
    89   background-color: #B0F0D0;
    89   background-color: #B0F0D0;
    90   font-size: 7pt;
    90   font-size: 7pt;
    91   border-width: 0;
    91   border-width: 0;
    92 }
    92 }
       
    93 .menu_bg {
       
    94   background-color: #B0F0D0;
       
    95 }
    93 div.menu a, div.menu div.label {
    96 div.menu a, div.menu div.label {
    94   padding: 2.5pt 5px;
    97   padding: 2.5pt 5px;
    95   margin-right: 3px;
    98   margin-right: 3px;
    96   text-decoration: none;
    99   text-decoration: none;
    97   display: block;
   100   display: block;
   101 div.menu_nojs a, div.menu_nojs div.label {
   104 div.menu_nojs a, div.menu_nojs div.label {
   102   padding: 2.5pt 5px;
   105   padding: 2.5pt 5px;
   103   margin-right: 3px;
   106   margin-right: 3px;
   104   text-decoration: none;
   107   text-decoration: none;
   105   display: block;
   108   display: block;
       
   109   float: left;
   106   color: #408060;
   110   color: #408060;
   107 }
   111 }
   108 div.menu div.label, div.menu_nojs div.label {
   112 div.menu div.label, div.menu_nojs div.label {
   109   color: #002010;
   113   color: #002010;
   110   cursor: default;
   114   cursor: default;
   126   background-color: #D0FFF0;
   130   background-color: #D0FFF0;
   127 }
   131 }
   128 div.menu input[type ^="text"], div.menu input[type ^="password"], div.menu_nojs input[type ^="text"], div.menu_nojs input[type ^="password"] {
   132 div.menu input[type ^="text"], div.menu input[type ^="password"], div.menu_nojs input[type ^="text"], div.menu_nojs input[type ^="password"] {
   129   border-width: 0;
   133   border-width: 0;
   130   font-size: 9pt;
   134   font-size: 9pt;
   131   padding: 4px 5px;
   135   padding: 2px 5px 3px 5px;
   132   max-width: 70px;
   136   max-width: 70px;
   133   background-color: #D0FFF0;
   137   background-color: #D0FFF0;
   134 }
   138 }
   135 div.menu input[type ^="text"]:hover, div.menu input[type ^="password"]:hover, div.menu_nojs input[type ^="text"]:hover, div.menu_nojs input[type ^="password"]:hover {
   139 div.menu input[type ^="text"]:hover, div.menu input[type ^="password"]:hover, div.menu_nojs input[type ^="text"]:hover, div.menu_nojs input[type ^="password"]:hover {
   136   background-color: #E0FFF0;
   140   background-color: #E0FFF0;
   146 }
   150 }
   147 div.menu a.current, div.menu a.current:hover, div.menu a.selected, div.menu a.selected:hover, div.menu_nojs a.current, div.menu_nojs a.current:hover, div.menu_nojs a.selected, div.menu_nojs a.selected:hover {
   151 div.menu a.current, div.menu a.current:hover, div.menu a.selected, div.menu a.selected:hover, div.menu_nojs a.current, div.menu_nojs a.current:hover, div.menu_nojs a.selected, div.menu_nojs a.selected:hover {
   148   color: #004000;
   152   color: #004000;
   149   background-color: #FFFFFF;
   153   background-color: #FFFFFF;
   150 }
   154 }
   151 div.menu ul {
   155 div.menu ul, div.menu_nojs ul {
   152   display: none;
   156   display: none;
   153   position: absolute;
   157   position: absolute;
   154   padding: 0;
   158   padding: 0;
   155   margin: 0 !important;
   159   margin: 0 !important;
   156   background-color: #B0F0D0;
   160   background-color: #B0F0D0;
   157   border-width: 0;
   161   border-width: 0;
   158   min-width: 120px;
   162   min-width: 120px;
   159 }
   163 }
       
   164 /*
   160 div.menu_nojs ul {
   165 div.menu_nojs ul {
   161   display: block;
   166   display: block;
   162   padding: 0;
   167   padding: 0;
   163   margin: 0 0 0 1em;
   168   margin: 0 0 0 1em;
   164   background-color: #B0F0D0;
   169   background-color: #B0F0D0;
   165   border-width: 0;
   170   border-width: 0;
   166   min-width: 120px;
   171   min-width: 120px;
   167 }
   172 }
       
   173 */
   168 div.menu ul li, div.menu_nojs ul li {
   174 div.menu ul li, div.menu_nojs ul li {
   169   list-style: none;
   175   list-style: none;
   170 }
   176 }
   171 div.menu ul a, div.menu_nojs ul a {
   177 div.menu ul a, div.menu_nojs ul a {
   172   float: none;
   178   float: none;
   229 /* The Wordpress-like fills behind checkboxes and their labels */
   235 /* The Wordpress-like fills behind checkboxes and their labels */
   230 .catCheck                         { padding: 3px; }
   236 .catCheck                         { padding: 3px; }
   231 .catCheck:hover                   { padding: 3px; background-color: #F0F0F0; }
   237 .catCheck:hover                   { padding: 3px; background-color: #F0F0F0; }
   232 
   238 
   233 /* Information, warning, question, error, and wait boxes */
   239 /* Information, warning, question, error, and wait boxes */
   234 div.error-box                     { background-image: url(../../../images/error.png);    background-repeat: no-repeat; background-color: #FFF4F4; border: 1px dashed #408060; padding: 10px 10px 10px 50px; margin: 1em 0 0 1em; min-height: 25px; }
   240 div.error-box                     { background-image: url(../../../images/error.png);    background-position: 8px 8px; background-repeat: no-repeat; background-color: #FFF4F4; border: 1px dashed #408060; padding: 10px 10px 10px 50px; margin: 1em 0 0 1em; min-height: 25px; }
   235 div.info-box                      { background-image: url(../../../images/info.png);     background-repeat: no-repeat; background-color: #F4FFF4; border: 1px dashed #408060; padding: 10px 10px 10px 50px; margin: 1em 0 0 1em; min-height: 25px; }
   241 div.info-box                      { background-image: url(../../../images/info.png);     background-position: 8px 8px; background-repeat: no-repeat; background-color: #F4FFF4; border: 1px dashed #408060; padding: 10px 10px 10px 50px; margin: 1em 0 0 1em; min-height: 25px; }
   236 div.warning-box                   { background-image: url(../../../images/warning.png);  background-repeat: no-repeat; background-color: #FFF4FF; border: 1px dashed #408060; padding: 10px 10px 10px 50px; margin: 1em 0 0 1em; min-height: 25px; }
   242 div.warning-box                   { background-image: url(../../../images/warning.png);  background-position: 8px 8px; background-repeat: no-repeat; background-color: #FFF4FF; border: 1px dashed #408060; padding: 10px 10px 10px 50px; margin: 1em 0 0 1em; min-height: 25px; }
   237 div.question-box                  { background-image: url(../../../images/question.png); background-repeat: no-repeat; background-color: #F4F4FF; border: 1px dashed #408060; padding: 10px 10px 10px 50px; margin: 1em 0 0 1em; min-height: 25px; }
   243 div.question-box                  { background-image: url(../../../images/question.png); background-position: 8px 8px; background-repeat: no-repeat; background-color: #F4F4FF; border: 1px dashed #408060; padding: 10px 10px 10px 50px; margin: 1em 0 0 1em; min-height: 25px; }
   238 div.wait-box                      { background-image: url(../../../images/wait.png);     background-repeat: no-repeat; background-color: #FFFFF4; border: 1px dashed #408060; padding: 10px 10px 10px 50px; margin: 1em 0 0 1em; min-height: 25px; }
   244 div.wait-box                      { background-image: url(../../../images/wait.png);     background-position: 8px 8px; background-repeat: no-repeat; background-color: #FFFFF4; border: 1px dashed #408060; padding: 10px 10px 10px 50px; margin: 1em 0 0 1em; min-height: 25px; }
   239 
   245 
   240 /* This stuff is mostly unused, left in for compatibility */
   246 /* This stuff is mostly unused, left in for compatibility */
   241 div#ajaxEditContainer table       { border: 0px solid #FFFFFF; }
   247 div#ajaxEditContainer table       { border: 0px solid #FFFFFF; }
   242 div#ajaxEditContainer td          { margin: 1px; }
   248 div#ajaxEditContainer td          { margin: 1px; }
   243 /* div#ajaxEditContainer             { overflow: auto; } /* Makes ajaxEditContainer scroll horizontally in firefox if the content is too wide - prevents that ugly clipping effect */
   249 /* div#ajaxEditContainer             { overflow: auto; } /* Makes ajaxEditContainer scroll horizontally in firefox if the content is too wide - prevents that ugly clipping effect */
   244 div#ajaxEditContainer pre         { margin-left: 1em; background-color: #F8F8F8; border: 1px dashed #90D0B0; padding: 10px; overflow: auto; max-height: 150px; }
   250 div#ajaxEditContainer pre         { margin-left: 1em; background-color: #F8F8F8; border: 1px dashed #90D0B0; padding: 10px; overflow: auto; max-height: 150px; }
   245 
       
   246 /* Tables where diffs are shown */
       
   247 table.diff, td.diff-otitle, td.diff-ntitle { background-color: white; }
       
   248 td.diff-addedline { background: #cfc; font-size: smaller; }
       
   249 td.diff-deletedline { background: #ffa; font-size: smaller; }
       
   250 td.diff-context { background: #eee; font-size: smaller; }
       
   251 span.diffchange { color: red; font-weight: bold; }
       
   252 
   251 
   253 /* toolbar */
   252 /* toolbar */
   254 div.toolbar {
   253 div.toolbar {
   255   border-bottom: 1px solid #909090;
   254   border-bottom: 1px solid #909090;
   256   background-color: #D0D0D0;
   255   background-color: #D0D0D0;