v86.css 1.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899
  1. #log, #runtime_infos, #serial, #filesystem_panel, #debug_panel {
  2. font-family: DejaVu Sans Mono, monospace;
  3. font-size: 13px;
  4. border: 1px solid #333;
  5. background-color: #000;
  6. padding: 4px;
  7. color: #fff;
  8. }
  9. #runtime_infos, #filesystem_panel {
  10. float: left;
  11. width: 250px;
  12. margin-bottom: 7px;
  13. margin-right: 7px;
  14. padding-bottom: 7px;
  15. }
  16. #log {
  17. height: 100px;
  18. width: 550px;
  19. }
  20. #debug_panel {
  21. white-space: pre;
  22. float: left;
  23. }
  24. #serial {
  25. margin: 0px;
  26. }
  27. #serial:focus {
  28. outline: 1px solid rgb(229, 151, 0);
  29. }
  30. #screen {
  31. white-space: pre;
  32. position: relative;
  33. font-family: Liberation Mono, DejaVu Sans Mono, Courier New, monospace;
  34. font-weight: bold;
  35. font-size: 15px;
  36. line-height: normal;
  37. }
  38. #screen, #vga {
  39. -webkit-transform-origin: top left;
  40. -moz-transform-origin: top left;
  41. transform-origin: top left;
  42. }
  43. #vga {
  44. background-color: #000;
  45. }
  46. body {
  47. background-color: #111;
  48. color: #fff;
  49. line-height: 1.5;
  50. padding: 10px;
  51. font-family: sans-serif;
  52. }
  53. a {
  54. color: wheat;
  55. }
  56. .phone_keyboard {
  57. width: 0;
  58. height: 0;
  59. resize: none;
  60. position: absolute;
  61. opacity: 0;
  62. left: -9999em;
  63. top: 0;
  64. z-index: -10;
  65. white-space: nowrap;
  66. overflow: hidden;
  67. }
  68. h4 {
  69. margin: 0px 0px 20px 0px;
  70. }
  71. #start_emulation {
  72. padding: 6px 18px;
  73. font-size: 16px;
  74. font-weight: bold;
  75. }
  76. #setup_error {
  77. color: red;
  78. font-weight: bold;
  79. background-color: #222;
  80. padding: 8px 18px;
  81. }
  82. #config_link {
  83. font-weight: bold;
  84. background-color: #222;
  85. padding: 8px 18px;
  86. }
  87. #screen_container {
  88. float: left;
  89. margin-right: 10px;
  90. margin-bottom: 10px;
  91. border: 1px solid #555;
  92. border-width: 2px 1px;
  93. }
  94. a img {
  95. margin: 10px;
  96. }
  97. .screenshots a {
  98. text-decoration: none;
  99. }