Note 2 - Reorganization (Tables)	12 Months Ended
	Dec. 31, 2018
Notes Tables
Reorganization Items [Table Text Block]	<div style="display: inline; font-family: times new roman; font-size: 10pt"><table border="0" cellpadding="0" cellspacing="0" style="margin-right: 20%; font-size: 10pt; font-family: "Times New Roman", Times, serif; text-indent: 0px; min-; min-width: 700px;"> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; background-color: rgb(255, 255, 255);"> </td> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; background-color: rgb(255, 255, 255);"> </td> <td colspan="6" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; background-color: rgb(255, 255, 255); margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);"><div style="display: inline; font-style: italic; font-weight: inherit; font-style: normal;"><div style="display: inline; font-style: italic; font-weight: inherit; font-style: normal;"> </div></div><div style=" background-color:#FFFFFF;font-family:'Times New Roman', Times, serif;font-size:10pt;margin:0pt;text-align:center;"><div style="display: inline; font-weight: bold;"><div style="display: inline; font-weight: bold;">Years Ended December 31,</div></div></div> </td> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; background-color: rgb(255, 255, 255); padding-bottom: 1px;"> </td> </tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; background-color: rgb(255, 255, 255);"> </td> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; background-color: rgb(255, 255, 255);"> </td> <td colspan="2" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; background-color: rgb(255, 255, 255); margin-left: 0pt;"><div style="display: inline; font-style: italic; font-weight: inherit; font-style: normal;"> </div><div style=" background-color:#FFFFFF;font-family:'Times New Roman', Times, serif;font-size:10pt;margin:0pt;text-align:center;"><div style="display: inline; font-weight: bold;"><div style="display: inline; font-weight: bold;">2018</div></div></div> </td> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; background-color: rgb(255, 255, 255);"> </td> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; background-color: rgb(255, 255, 255);"> </td> <td colspan="2" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; background-color: rgb(255, 255, 255); margin-left: 0pt;"><div style="display: inline; font-style: italic; font-weight: inherit; font-style: normal;"> </div><div style=" background-color:#FFFFFF;font-family:'Times New Roman', Times, serif;font-size:10pt;margin:0pt;text-align:center;"><div style="display: inline; font-weight: bold;"><div style="display: inline; font-weight: bold;">2017</div></div></div> </td> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; background-color: rgb(255, 255, 255);"> </td> </tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 62%;"> <div style=" font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-top: 0pt; margin-bottom: 0pt;">Professional fees</div> </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">$</td> <td style="width: 16%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"><div style="display: inline; font-style: italic; font-weight: inherit; font-style: normal;">(374</div></td> <td nowrap="nowrap" style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">)</td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">$</td> <td style="width: 16%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"><div style="display: inline; font-style: italic; font-weight: inherit; font-style: normal;">(3,460</div></td> <td nowrap="nowrap" style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">)</td> </tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> <div style=" font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-top: 0pt; margin-bottom: 0pt;">Adjustments to other liabilities for claims made or rejected contracts</div> </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="width: 16%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"><div style="display: inline; font-style: italic; font-weight: inherit; font-style: normal;">(1,490</div></td> <td nowrap="nowrap" style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">)</td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="width: 16%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"><div style="display: inline; font-style: italic; font-weight: inherit; font-style: normal;">(87</div></td> <td nowrap="nowrap" style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">)</td> </tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> <div style=" font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-top: 0pt; margin-bottom: 0pt;">Other</div> </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; padding-bottom: 1px;"> </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td> <td style="width: 16%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);"><div style="display: inline; font-style: italic; font-weight: inherit; font-style: normal;">-</div></td> <td nowrap="nowrap" style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td> <td style="width: 16%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);"><div style="display: inline; font-style: italic; font-weight: inherit; font-style: normal;">(34</div></td> <td nowrap="nowrap" style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; padding-bottom: 1px;">)</td> </tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> <div style=" font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-top: 0pt; margin-bottom: 0pt;">Reorganization items, net</div> </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; padding-bottom: 3px;"> </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">$</td> <td style="width: 16%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);"><div style="display: inline; font-style: italic; font-weight: inherit; font-style: normal;">(1,864</div></td> <td nowrap="nowrap" style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">)</td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 3px double rgb(0, 0, 0);"> </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">$</td> <td style="width: 16%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);"><div style="display: inline; font-style: italic; font-weight: inherit; font-style: normal;">(3,581</div></td> <td nowrap="nowrap" style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; padding-bottom: 3px;">)</td> </tr> </table></div>