Guest User

Untitled

a guest
May 24th, 2018
80
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.90 KB | None | 0 0
  1. .gwt-Anchor:link {color:#FF0000;}
  2. .gwt-Anchor:visited {color:#00FF00;}
  3. .gwt-Anchor:hover {color:#FF00FF;}
  4. .gwt-Anchor:active {color:#0000FF;}
  5.  
  6. <inherits name='com.google.gwt.user.theme.clean.Clean'/>
  7. <!-- <inherits name='com.google.gwt.user.theme.standard.Standard'/> -->
  8. <!-- <inherits name='com.google.gwt.user.theme.chrome.Chrome'/> -->
  9. <!-- <inherits name='com.google.gwt.user.theme.dark.Dark'/> -->
  10.  
  11. body, table td, select, button {
  12. font-family: Arial Unicode MS, Arial, sans-serif;
  13. font-size: small;
  14. }
  15. pre {
  16. font-family: "courier new", courier;
  17. font-size: small;
  18. }
  19. body {
  20. color: black;
  21. margin: 10px;
  22. border: 0px;
  23. padding: 0px;
  24. background: #fff;
  25. direction: ltr;
  26. }
  27. a, a:visited {
  28. color: #0066cc;
  29. text-decoration:none;
  30. }
  31.  
  32. a:hover {
  33. color: #0066cc;
  34. text-decoration:underline;
  35. }
  36.  
  37. select {
  38. background: white;
  39. }
  40.  
  41. <stylesheet src='../WebTerminal.css' />
  42.  
  43. widget.setStyleName("");
Add Comment
Please, Sign In to add comment