contrib/online_ide/www/css/style.css

   1 body {
   2         margin: 0;
   3         margin-top: 0px;
   4         padding: 0;
   5         background-color: #f8f8f8;
   6         font-size: 14px;
   7         font-family: "Helvetica Neue", Helvetica, Tahoma, sans-serif;
   8 }
   9 #pageheader {
  10         position: relative;
  11         background-color: #292929;
  12         color: #6c6c6c;
  13         overflow: hidden;
  14 }
  15 #pageheader_title {
  16         position: relative;
  17         width: 125px;
  18         height: 19px;
  19         background-color: #f8f8f8;
  20         padding: 2px;
  21         text-align: center;
  22         float: left;
  23 }
  24 #pageheader_title h1 {
  25         margin: 0;
  26         font-size: 14px;
  27 }
  28 #pageheader_title h1 span {
  29         color:#0D8921;
  30 }
  31 #navigation {
  32         margin: 0 ;
  33         padding: 0 ;
  34         list-style: none ;
  35 }
  36 #navigation li {
  37         display: inline;
  38         float: left ;
  39         width: 125px;
  40         height: 19px;
  41         padding: 2px;
  42         background-color: #f8f8f8;
  43         color: #0D8921;
  44         font-size: 12px;
  45         text-align: center;
  46         border: 1px #0D8921;
  47         border-style: none none none dashed;
  48 }
  49 #navigation li button{
  50         margin-top: -1px;
  51 }
  52 #filename {
  53         color:#6c6c6c;
  54 }
  55 #editor {
  56         position: relative;
  57         left: 0;
  58         width: 100%;
  59         height: 460px;
  60 }
  61 #terminal
  62 {
  63         position: relative;
  64         left: 0;
  65         width: 100%;
  66         height: 230px;
  67         overflow: auto;
  68         padding: 0;
  69 }
  70 #listener
  71 {
  72         height: 0;
  73 }