diff options
| author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-02-13 13:41:49 +0100 |
|---|---|---|
| committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-02-13 13:41:49 +0100 |
| commit | 98891fda0a2df5e0cc7294801efa707370d76446 (patch) | |
| tree | 53af46844412fffe061a1ca7d3e372a1815462fd /js/codemirror/show-hint.js | |
| parent | c5bde3a97aba683d6c9aee96fa639cf9ce920bee (diff) | |
Use relative font sizes and fix styling
Bootstrap: because 10px ought to be good for everyone!™
Diffstat (limited to 'js/codemirror/show-hint.js')
0 files changed, 0 insertions, 0 deletions