gui.css 1.0 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364
  1. #viewport {
  2. position: fixed;
  3. top: 0;
  4. bottom: 25px;
  5. left: 0;
  6. right: 0; }
  7. #toolbar {
  8. background-color: black;
  9. position: fixed;
  10. height: 25px;
  11. bottom: 0em;
  12. left: 0;
  13. right: 0;
  14. color: white;
  15. font-family: sans;
  16. font-size: 11px;
  17. text-transform: uppercase;
  18. padding: 3px 0;
  19. display: flex;
  20. display: -webkit-flex;
  21. align-items: center;
  22. -webkit-align-items: center; }
  23. label {
  24. margin-left: 1.5em;
  25. margin-right: 3px; }
  26. input {
  27. border: 1px solid white;
  28. background-color: white;
  29. font-size: 11px;
  30. vertical-align: -2px; }
  31. input[type=number] {
  32. width: 50px;
  33. vertical-align: 0px;
  34. margin-left: 2px; }
  35. input:hover {
  36. cursor: pointer;
  37. background-color: yellow; }
  38. button {
  39. border: 1px solid white;
  40. background-color: white;
  41. font-size: 11px;
  42. text-transform: uppercase;
  43. margin-right: 1em;
  44. height: 19px; }
  45. button:hover {
  46. cursor: pointer;
  47. background-color: yellow; }
  48. .separator {
  49. content: " ";
  50. flex-grow: 2;
  51. -webkit-flex-grow: 2; }
  52. iframe {
  53. width: 100%;
  54. height: 100%;
  55. border: 0; }