diff options
| author |  Trevor Elliott <trevor@galois.com> | 2013-06-10 15:11:41 -0700 |
|---|---|---|
| committer | Trevor Elliott <trevor@galois.com> | 2013-06-10 15:11:41 -0700 |
| commit | f51adc7ca079c0ad04677d70ef4e72ce7766c443 (patch) | |
| tree | 13528c8b6a9477f2f4a91ba9c48ac92d908e6454 /src/js/fiveui/options.html | |
| parent | ce457865b1c0f13e31bf1b48e796b7e95272c2cb (diff) | |
Better looking buttons on the various options page editors
Diffstat (limited to 'src/js/fiveui/options.html')
| -rw-r--r-- | src/js/fiveui/options.html | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/js/fiveui/options.html b/src/js/fiveui/options.html index 1da5e33..3864a36 100644 --- a/src/js/fiveui/options.html +++ b/src/js/fiveui/options.html @@ -28,7 +28,9 @@ <link id="favicon" rel="icon" href="images/fiveui-icon-16.png" /> <link rel="stylesheet" href="css/options.css" /> <link rel="stylesheet" href="css/entry.css" /> + <link rel="stylesheet" href="jquery/bundled.css" /> <script src="jquery/jquery-1.8.3.js"></script> + <script src="jquery/jquery-ui-1.9.2.custom.js"></script> <script src="underscore.js"></script> <script src="backbone.js"></script> <script src="js/settings.js"></script> |