wp-admin/css/theme-editor.css

   1 #template textarea {
   2         font-family: 'Courier New', Courier, monospace;
   3         font-size: 12px;
   4         width: 97%;
   5 }
   6
   7 #template p {
   8         width: 97%;
   9 }
  10
  11 #templateside {
  12         float: right;
  13         width: 190px;
  14         margin-top:-3.4em;
  15 }
  16
  17 #templateside h3, #postcustomstuff p.submit {
  18         margin: 0;
  19 }
  20
  21 h3#bordertitle {
  22         margin-bottom: 10px;
  23 }
  24
  25 #templateside h4 {
  26         margin-bottom: 0px;
  27 }
  28
  29 #templateside ol, #templateside ul {
  30         list-style: none;
  31         margin: .5em;
  32         padding: 0;
  33 }
  34
  35 #templateside ol li, #templateside ul li {
  36         margin: 1px 0px;
  37 }
  38
  39 #themeselector {
  40         padding-right: 5px;
  41         float: right;
  42         position: relative;
  43         bottom: 25px;
  44 }
  45
  46 #themeselector select {
  47         margin: 0;
  48         padding: 0;
  49 }
  50
  51 .nonessential {
  52         font-size: small;
  53 }
  54
  55 .highlight {
  56         padding: 1px;
  57 }
  58
  59 div.bordertitle h2 {
  60         border: none;
  61         padding-bottom: 0px;
  62 }
  63
  64 div.tablenav {
  65         margin-right: 210px;
  66 }