diff options
Diffstat (limited to 'project/assets')
| -rw-r--r-- | project/assets/css/default.css | 24 | ||||
| -rwxr-xr-x | project/assets/img/grasp_helloworld.png | bin | 0 -> 3477 bytes |
2 files changed, 24 insertions, 0 deletions
diff --git a/project/assets/css/default.css b/project/assets/css/default.css index a3805ee..7ae93a6 100644 --- a/project/assets/css/default.css +++ b/project/assets/css/default.css @@ -9,6 +9,18 @@ body { } +figure { + text-align: center; +} + + +code { + display: block; + font-family: monospace; + white-space: pre; +} + + /* A bunch of nonsense to make the navbar @@ -35,3 +47,15 @@ nav ul li { line-height: 100%; } + + + +/* Formatting the index list differently + from regular lists. */ + +ul.index { + text-align: center; + list-style-type: none; + margin-top: 1.5cm; +} + diff --git a/project/assets/img/grasp_helloworld.png b/project/assets/img/grasp_helloworld.png Binary files differnew file mode 100755 index 0000000..df5bfff --- /dev/null +++ b/project/assets/img/grasp_helloworld.png |
