My app is using angular datatables. Pagination consists of 

> 
> [First] [Previous] [1] [Next] [Last]
> 
> 
> 

I'd like to change this to shorter strings, such as 

> 
> |< < 1 > >| 
> 
> 
> 

I'm sure this is possible, but I cannot find any reference to it in the docs.

This, among other places, is where I've been looking:

<http://l-lin.github.io/angular-datatables/#/changeOptions>
<https://datatables.net/examples/basic_init/alt_pagination.html>

Here is a snippet of the HTML and controller:

```
<table class="table table-sortable table-hover table-checkable order-column"
    id="package-table"
    datatable="ng"   
    dt-options="manifestVm.dtPackageOptions"
    dt-column-defs="manifestVm.dtPackageColumnDefs">

vm.dtPackageOptions = DTOptionsBuilder.newOptions()
    .withPaginationType('full_numbers')
    .withDisplayLength(10)
    .withBootstrap();

vm.dtPackageColumnDefs = [
    DTColumnDefBuilder.newColumnDef(0),
    DTColumnDefBuilder.newColumnDef(1),
    DTColumnDefBuilder.newColumnDef(2)
];

```